Login / Signup
An SMT-based approach for generating trace examples and counter-examples of parametric properties.
Salim Chehida
Yves Ledru
Yoann Blein
Germán Vega
Published in:
Int. J. Crit. Comput. Based Syst. (2021)
Keyphrases
</>
counter examples
structural properties
desirable properties
database
artificial intelligence
multi agent
neural network
real world
machine learning
genetic algorithm
social networks
search algorithm
domain specific
logic programs
topological properties
bounded model checking