Verifying Concurrent System Specification in COSY.

M. W. Shields Peter E. Lauer

Published in: MFCS (1980)

Keyphrases

hybrid automata
model checking
formal specification
specification language
mutual exclusion
formal methods
formal verification
real time
learning algorithm
high level
optimal solution
ims qti