Formal verification in Coq of program properties involving the global state effect.

Jean-Guillaume Dumas Dominique Duval Burak Ekici Damien Pous

Published in: CoRR (2013)

Keyphrases

formal verification
program slicing
model checking
automated verification
test cases
model checker
symbolic model checking