Hybrid Verification of Protocol Bridges.
Praveen TiwariRaj S. MitraPublished in: IEEE Des. Test Comput. (2007)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- formal proof
- model checker
- formal verification
- lightweight
- network protocols
- model checking
- hybrid learning
- formal methods
- real time
- communication protocols
- artificial intelligence
- petri net
- multi agent systems
- multi agent
- fingerprint verification
- asynchronous circuits
- colored petri nets
- database systems
- petri net model