An SMT-Based Approach for Generating Trace Examples and Counter-examples of Parametric Properties - Archive ouverte HAL Access content directly
Journal Articles International Journal of Critical Computer-Based Systems Year : 2021

An SMT-Based Approach for Generating Trace Examples and Counter-examples of Parametric Properties

Not file

Dates and versions

hal-03257052 , version 1 (10-06-2021)

Identifiers

Cite

Salim Chehida, Yves Ledru, Yoann Blein, German Eduardo Vega Baez. An SMT-Based Approach for Generating Trace Examples and Counter-examples of Parametric Properties. International Journal of Critical Computer-Based Systems, 2021, ⟨10.1504/IJCCBS.2021.117997⟩. ⟨hal-03257052⟩
31 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More