Booster: An Acceleration-Based Verification Framework for Array Programs
Authors:
- 1 January 2014
- book chapter
- Published by Springer Nature
- p. 18-23
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- VeriMAP: A Tool for Verifying Programs through Transformations2014
- Status Report on Software Verification2014
- Decision Procedures for Flat Array PropertiesLecture Notes in Computer Science, 2014
- Definability of Accelerated Relations in a Theory of Arrays and Its ApplicationsLecture Notes in Computer Science, 2013
- On Solving Universally Quantified Horn Clauses2013
- SAFARI: SMT-Based Abstraction for Arrays with Interpolants2012
- Lazy Abstraction with Interpolants for Arrays2012
- A parametric segmentation functor for fully automatic and scalable array content analysisACM SIGPLAN Notices, 2011
- Z3: An Efficient SMT Solver2008
- Symbolic Model Checking without BDDs1999