Specification and Verification of Conurrent Systems in Cesar.

Jean-Pierre Queille Joseph Sifakis

Published in: 25 Years of Model Checking (2008)

Keyphrases

formal methods
asynchronous circuits
formal verification
model checking
computer vision
information systems
management system
complex systems
real time
genetic algorithm
database systems
learning systems
reactive systems
dynamic constraints
automated verification