Verification of Concurrent Programs with Chalice.

K. Rustan M. Leino Peter Müller Jan Smans

Published in: FOSAD (2009)

Keyphrases

concurrent programs
process algebra
concurrent systems
model checking
asynchronous circuits
formal methods
temporal logic
formal specification
concurrent programming
distributed systems
concurrent processes
expert systems
web applications
relational databases