The Constraint Database Approach to Software Verification
No abstract available.
Related papers
- Exploration of the Capabilities of Constraint Programming for Software Verification TACAS 2006
- Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers ECOOP 1997
- Parikh's Theorem Made Symbolic POPL 2024
- Automating formal proofs for reactive systems PLDI 2014
- The Basic Object System: Supporting a Spectrum From Prototypes To Hardened Code OOPSLA 1996
- From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification POPL 2015
- Composite Object Support in an Object-Oriented Database System OOPSLA 1987
- Extending the ODMG Object Model with Composite Objects OOPSLA 1998