Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis.

Boutheina Chetali Barbara Heyd

Published in: TPHOLs (1997)

Keyphrases

formal verification
concurrent programs
process algebra
model checking
formal methods
model checker
formal specification
temporal logic
linear programming
automated verification
bounded model checking
symbolic model checking
concurrent systems
theorem prover
concurrent programming
database
asynchronous circuits