Formal Foundation for Specification and Verification.
Leslie LamportFred B. SchneiderPublished in: Advanced Course: Distributed Systems (1984)
Keyphrases
- formal verification
- asynchronous circuits
- protocol specification
- model checking
- formal methods
- formal specification
- high level
- concurrent systems
- reactive systems
- specification language
- neural network
- verification method
- communication protocols
- face verification
- conceptual model
- user defined
- similarity measure
- search engine
- machine learning
- database