Verifying Quantitative Real-Time Properties of Synchronous Programs
Abstract elided by the publisher.
Related papers
- Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems ECOOP 2024
- A Deductive Verification Infrastructure for Probabilistic Programs OOPSLA 2023
- LiquidHaskell: experience with refinement types in the real world Haskell 2014
- Verifying Properties of HMS Machine Specifications of Real-Time Systems CAV 1991
- The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems CAV 1997
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) TACAS 2019
- Temporal Proof Methodologies for Real-time Systems POPL 1991
- On the Hardness of Analyzing Quantum Programs Quantitatively ESOP 2024