Login / Signup
Formal verification of data-intensive applications through model checking modulo theories.
Marcello M. Bersani
Francesco Marconi
Matteo Rossi
Madalina Erascu
Silvio Ghilardi
Published in:
SPIN (2017)
Keyphrases
</>
formal verification
model checking
modulo theories
temporal logic
model checker
answer set programming
bounded model checking
automated verification
formal specification
symbolic model checking
finite state machines
satisfiability modulo theories
formal methods
answer sets