An SMT-based approach for generating trace examples and counter-examples of parametric properties

International Journal of Critical Computer-Based Systems ◽

10.1504/ijccbs.2021.117997 ◽

2021 ◽

Vol 10 (2) ◽

pp. 143

Author(s):

Salim Chehida ◽

Yves Ledru ◽

Yoann Blein ◽

German Vega

Download Full-text