Using History Invariants to Verify Observers
Abstract elided by the publisher.
Related papers
- Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity ESOP 2015
- A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata PLDI 2024
- Verifying C11 programs operationally PPoPP 2019
- Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution) TACAS 2023
- Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning APLAS 2019
- Indexed codata types ICFP 2016
- A relational framework for higher-order shape analysis ICFP 2014
- Using Timestamping and History Variables to Verify Sequential Consistency CAV 2001