Partial Specifications and Compositional Verification.
Kim Guldstrand LarsenBent ThomsenPublished in: Theor. Comput. Sci. (1991)
Keyphrases
- automated verification
- formal verification
- concurrent systems
- model checking
- bounded model checking
- model checker
- asynchronous circuits
- formal specification
- delay insensitive
- temporal logic
- control flow
- verification method
- databases
- functional requirements
- protocol specification
- attribute grammars
- person identification
- formal methods
- multiscale
- neural network