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