Proof certificates for SMT-based model checkers for infinite-state systems.

Alain Mebsout Cesare Tinelli

Published in: FMCAD (2016)

Keyphrases

management system
mathematical model
prior knowledge
objective function
probabilistic model
intelligent systems
statistical model
finite state machines
database
mathematical models
prediction model
formal model
computational model
artificial intelligence
information retrieval
data sets
real time