Verification of Parameterized Bus Arbitration Protocol.
E. Allen EmersonKedar S. NamjoshiPublished in: CAV (1998)
Keyphrases
- cryptographic protocols
- protocol specification
- model checker
- formal analysis
- model checking
- formal verification
- coloured petri nets
- high speed
- lightweight
- formal proof
- formal methods
- communication protocol
- colored petri nets
- communication protocols
- asynchronous circuits
- network protocols
- security protocols
- formal specification
- provably secure
- temporal logic
- functional verification
- neural network
- signature verification
- real time
- false acceptance rate
- data sets