Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.
Alberto VerdejoIsabel PitaNarciso Martí-OlietPublished in: Formal Aspects Comput. (2003)
Keyphrases
- protocol specification
- model checker
- formal verification
- asynchronous circuits
- model checking
- formal specification
- formal methods
- cryptographic protocols
- tree structure
- bounded model checking
- formal analysis
- transition systems
- verification method
- formal language
- colored petri nets
- mac protocol
- logic programming
- specification language
- linear temporal logic
- lightweight
- communication protocols
- ad hoc networks
- integrity constraints