Program Analysis Using Quantifier-Elimination Heuristics

DOI10.1007/978-3-642-29952-0_15zbMATH Open1354.68058OpenAlexW2112511499MaRDI QIDQ2898021

Deepak Kapur

Publication date: 16 July 2012

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Elimination Techniques for Program Analysis

This page was built for publication: Program Analysis Using Quantifier-Elimination Heuristics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2898021)