Login / Signup
Formal verification in Coq of program properties involving the global state effect.
Jean-Guillaume Dumas
Dominique Duval
Burak Ekici
Damien Pous
Published in:
JFLA (2014)
Keyphrases
</>
formal verification
program slicing
model checking
bounded model checking
formal methods
artificial intelligence
belief revision
model checker
symbolic model checking
expert systems