Specification and Verification in Communications Standards.
David FreestonePublished in: Specification and Verification of Concurrent Systems (1988)
Keyphrases
- formal verification
- ims qti
- asynchronous circuits
- model checking
- formal methods
- protocol specification
- formal specification
- communication systems
- web services
- metadata
- high level
- verification method
- face verification
- concurrent systems
- person identification
- communication channels
- authoring tool
- temporal logic
- artificial intelligence
- specification language
- genetic algorithm
- iso iec
- cryptographic protocols
- communication networks
- linear temporal logic
- case study