Specification and Verification of a Sliding Window Protocol in LOTOS.
Eric MadelaineDidier VergaminiPublished in: FORTE (1991)
Keyphrases
- sliding window
- protocol specification
- model checker
- data streams
- formal specification
- formal verification
- communication protocols
- temporal ordering
- window size
- formal methods
- fixed size
- cryptographic protocols
- colored petri nets
- model checking
- stream data
- space efficient
- streaming data
- formal analysis
- asynchronous circuits
- window sizes
- boyer moore
- limited memory
- petri net
- continuous queries