An SMT-Based Approach for Generating Trace Examples and Counter-examples of Parametric Properties - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Critical Computer-Based Systems Année : 2021

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

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
35 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More