A Coq Library for Verification of Concurrent Programs.

Reynald Affeldt Naoki Kobayashi

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

concurrent programs
process algebra
formal methods
model checking
concurrent systems
formal specification
asynchronous circuits
temporal logic
knowledge based systems
concurrent processes
concurrent programming
software engineering
real time
artificial intelligence
theorem prover
high performance computing