Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking
Abstract elided by the publisher.
Related papers
- VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints OOPSLA 2024
- Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking CAV 2002
- Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols CAV 1998
- The TLA+ Model Checker Apalache CAV 2026
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Model Checking C/C++ with Mixed-Size Accesses POPL 2025
- Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification CAV 1991
- Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic CAV 1991