Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

DOI10.1007/978-3-642-15769-1_15zbMath1306.68024OpenAlexW1813351732MaRDI QIDQ4930731

Isil Dillig, Alex Aiken, Thomas Dillig

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_15

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A superposition calculus for abductive reasoning

Uses Software

• Beaver
• MiniSat
• Yices
• cvc3
• Chaff
• MathSAT
• Snugglebug

This page was built for publication: Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis