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