Relational Interprocedural Verification of Concurrent Programs.

Bertrand Jeannet

Published in: SEFM (2009)

Keyphrases

concurrent programs
process algebra
concurrent systems
model checking
asynchronous circuits
temporal logic
formal methods
relational databases
concurrent programming
relational model
distributed systems
web applications
data model
concurrent processes
petri net
information systems
object oriented
sensor networks