C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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