Relational interprocedural verification of concurrent programs.

Bertrand Jeannet

Published in: Softw. Syst. Model. (2013)

Keyphrases

concurrent programs
process algebra
concurrent systems
model checking
asynchronous circuits
formal methods
concurrent programming
relational databases
formal specification
data model
temporal logic
relational model
concurrent processes