Login / Signup
Crocos: An Integrated Environment for Interactive Verification of SDL Specifications.
Dominique Méry
Abdelillah Mokkedem
Published in:
CAV (1992)
Keyphrases
</>
model checking
automated verification
model checker
databases
bounded model checking
concurrent systems
neural network
database
formal verification
environmental conditions
asynchronous circuits
virtual reality
mobile robot
real time
signature verification
formal methods
dynamic environments
distributed systems