AutoProof: Auto-Active Functional Verification of Object-Oriented Programs
No abstract available.
DOI 10.1007/978-3-662-46681-0_53
Related papers
- From C to Infinity and Back: Unbounded Auto-active Verification with VCC CAV 2012
- Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification ECOOP 2023
- On the Impact of Formal Verification on Software Development OOPSLA 2025
- Query-based object-oriented programming: a declarative web of objects DLS 2018
- The WhyRel Prototype for Modular Relational Verification of Pointer Programs TACAS 2023
- Conceptual Design of Active Object-Oriented Database Applications Using Multi-level Diagrams ECOOP 1996
- Regular Types for Active Objects OOPSLA 1993
- $\mathbf{{\textsc {PyCaliper}}}$: Python-Embedded Infrastructure for RTL Verification and Specification Synthesis CAV 2025