Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS
No abstract available.
Related papers
- SCR*: A Toolset for Specifying and Analyzing Software Requirements CAV 1998
- A Temporal Differential Dynamic Logic Formal Embedding CPP 2024
- A verified packrat parser interpreter for parsing expression grammars CPP 2020
- Property-Based Testing: Climbing the Stairway to Verification SLE 2022
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications TACAS 2007
- A compositional proof framework for FRETish requirements CPP 2022
- Show Me The Money: An Exercise in Proof-Driven Software Understanding CAV 2026
- Leveraging rust types for modular specification and verification OOPSLA 2019