The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems
No abstract available.
Related papers
- Verus: Verifying Rust Programs using Linear Ghost Types OOPSLA 2023
- VerusBelt: A Semantic Foundation for Verus's Proof-Oriented Extensions to the Rust Type System PLDI 2026
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) TACAS 2019
- StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems CAV 2025
- Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust CPP 2026
- The Quantitative Verification Benchmark Set TACAS 2019
- VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus TACAS 2026
- The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems CAV 2007