Export Citations
1 Results for: Keyword: parametric traces
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,774,372 records)|Limit your search to The ACM Full-Text Collection (761,084 records)
- research-articleJanuary 2021
An SMT-based approach for generating trace examples and counter-examples of parametric properties
International Journal of Critical Computer-Based Systems (IJCCBS), Volume 10, Issue 2Pages 143–183https://doi.org/10.1504/ijccbs.2021.117997The ParTraP language has been designed to express temporal and timed properties on finite execution traces of parametric events. It aims to ease properties' expression for users not experienced in formal methods. In this paper, we propose an approach that ...