Compilation and verification of LOTOS specifications.
Hubert GaravelJoseph SifakisPublished in: PSTV (1990)
Keyphrases
- concurrent systems
- automated verification
- model checking
- bounded model checking
- model checker
- formal verification
- asynchronous circuits
- formal methods
- formal specification language
- formal specification
- code generation
- delay insensitive
- verification method
- protocol specification
- high level
- face verification
- temporal logic
- neural network
- fingerprint verification
- signature verification
- specification language
- constraint propagation
- temporal ordering
- object oriented
- operational semantics
- website
- test suite