Demonic Testing of Concurrent Programs.

Scott West Sebastian Nanz Bertrand Meyer

Published in: ICFEM (2012)

Keyphrases

concurrent programs
process algebra
concurrent programming
concurrent processes
web applications
formal specification
concurrent systems
model checking
asynchronous circuits
database
high level
database systems
knowledge based systems
temporal logic
formal methods