Verification of Concurrent Programs Using Trace Abstraction Refinement.

Franck Cassez Frowin Ziegler

Published in: LPAR (2015)

Keyphrases

concurrent programs
concurrent processes
process algebra
concurrent systems
model checking
asynchronous circuits
petri net
concurrent programming
formal methods
high level
hardware designs
formal specification
general purpose
web applications
distributed systems
reverse engineering