C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification modulo theories.
Alessandro Cimatti
Alberto Griggio
Sergio Mover
Marco Roveri
Stefano Tonetta
Published in:
Formal Methods Syst. Des. (2022)
Keyphrases
</>
modulo theories
answer set programming
model checking
satisfiability modulo theories