Compositional specification and verification of high-speed transfer protocols.
Peter HerrmannHeiko KrummPublished in: PSTV (1994)
Keyphrases
- voting protocols
- high speed
- formal verification
- asynchronous circuits
- formal methods
- model checking
- protocol specification
- low power
- formal specification
- frame rate
- high level
- real time
- high speed networks
- high security
- knowledge transfer
- communication protocols
- low cost
- verification method
- colored petri nets
- concurrent systems
- functional verification