Verifying Concurrent Programs with Chalice.

K. Rustan M. Leino

Published in: VMCAI (2010)

Keyphrases

concurrent programs
process algebra
model checking
concurrent programming
web applications
concurrent processes
temporal logic
formal specification
high level
programming language
computer networks
concurrent systems