Specification for Verification.
Hans HanssonBengt JonssonFredrik OravaBjörn PehrsonPublished in: FORTE (1989)
Keyphrases
- formal verification
- formal methods
- protocol specification
- asynchronous circuits
- model checking
- formal specification
- high level
- artificial intelligence
- user defined
- colored petri nets
- specification language
- reactive systems
- provably correct
- formal analysis
- verification method
- database
- face verification
- information retrieval