Login / Signup
A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol.
Abdelillah Mokkedem
Michael J. Ferguson
Robert de B. Johnston
Published in:
FME (1997)
Keyphrases
</>
protocol specification
formal verification
formal methods
model checker
formal analysis
specification language
communication protocol
data transmission
formal specification
face verification
high level
closed form
security protocols
mathematical model
peer to peer
communication protocols
optimal solution