Verification of a Reliable Net Protocol.
Victor YodaikenKrithi RamamrithamPublished in: FTRTFT (1992)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- lightweight
- model checking
- formal verification
- formal proof
- cost effective
- network protocols
- message delivery
- formal specification
- distributed systems
- colored petri nets
- petri net
- file transfer
- coloured petri nets
- face verification
- database programming
- visual basic
- fingerprint verification