The enhanced HDM system for specification and verification.
P. Michael Melliar-SmithJohn RushbyPublished in: ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- model checking
- protocol specification
- formal specification
- colored petri nets
- information retrieval
- face verification
- artificial neural networks
- data sets
- database
- software engineering
- specification language
- cryptographic protocols
- high level
- verification method
- neural network