Scalable error detection using boolean satisfiability

DOI10.1145/1040305.1040334zbMath1369.68162OpenAlexW1966982815MaRDI QIDQ5276159

Alex Aiken, Yichen Xie

Publication date: 14 July 2017

Published in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1040305.1040334

zbMATH Keywords

error detectionprogram analysisBoolean satisfiability

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Specification and verification challenges for sequential object-oriented programs, Higher order symbolic execution for contract verification and refutation, Visualizing SAT instances and runs of the DPLL algorithm