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