Unifying type checking and property checking for low-level code
From MaRDI portal
Publication:5261528
DOI10.1145/1480881.1480921zbMath1315.68086MaRDI QIDQ5261528
Shaz Qadeer, Shuvendu K. Lahiri, Jeremy Condit, Brian Hackett
Publication date: 3 July 2015
Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1480881.1480921
decision procedure; type checking; SMT solver; property checking; low-level code; assertion checking
68N15: Theory of programming languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction, ExplainHoudini: Making Houdini Inference Transparent
Uses Software