Verifying Concurrent Programs against Sequential Specifications.

Ahmed Bouajjani Michael Emmi Constantin Enea Jad Hamza

Published in: ESOP (2013)

Keyphrases

concurrent programs
process algebra
formal specification
model checking
concurrent systems
asynchronous circuits
concurrent programming
temporal logic
formal specification language
programming language
high level
concurrent processes
formal methods
response time
object oriented
case study
database