Login / Signup
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