Verification and Improvement of the Sliding Window Protocol
Abstract elided by the publisher.
Related papers
- A Stepwise Refinement Heuristic for Protocol Construction TOPLAS 1992
- Using Compositional Preorders in the Verification of Sliding Window Protocal CAV 1997
- Sliding Window Abstraction for Infinite Markov Chains CAV 2009
- Calculating a linear-time solution to the densest-segment problem JFP 2015
- Time Robustness in MTL and Expressivity in Hybrid System Falsification CAV 2015
- The Use of Multimethods and Method Combination in a CLOS Based Window System Interface OOPSLA 1989
- Specification and Efficient Monitoring Beyond STL TACAS 2019
- Improved Probabilistic Models for 802.11 Protocol Verification CAV 2005