A program instrumentation framework for automatic verification
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 5539366 (Why is no real title available?)
- scientific article; zbMATH DE number 1512563 (Why is no real title available?)
- Aligators for Arrays (Tool Paper)
- Array Folds Logic
- Automata and Logics for Words and Trees over an Infinite Alphabet
- Automatic program instrumentation for automatic verification
- Avoiding exponential explosion: generating compact verification conditions
- Cell morphing: from array programs to array-free Horn clauses
- Dafny: an automatic program verifier for functional correctness
- Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
- Finite state machines for strings over infinite alphabets
- Handbook of model checking
- Lazy abstraction with interpolants for arrays
- Quantified Heap Invariants for Object-Oriented Programs
- Quantified invariants via syntax-guided synthesis
- Quantifiers on demand
- Software engineering and formal methods. 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1--5, 2012. Proceedings
- The spirit of ghost code
- Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2--7, 2022. Proceedings. Pa
- Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
This page was built for publication: A program instrumentation framework for automatic verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7233445)
