The Constraint Database Approach to Software Verification

DOI10.1007/978-3-540-69738-1_24zbMath1132.68339OpenAlexW1602949508MaRDI QIDQ5452618

Peter Z. Revesz

Publication date: 4 April 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69738-1_24

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Space-time tradeoffs in negative cycle detection - an empirical analysis of the stressing algorithm ⋮ Pentagons: a weakly relational abstract domain for the efficient validation of array accesses ⋮ Estimating the maximum rise in temperature according to climate models using abstract interpretation

Uses Software

• Octagon

This page was built for publication: The Constraint Database Approach to Software Verification