Property Directed Abstract Interpretation

DOI10.1007/978-3-662-49122-5_5zbMath1475.68192OpenAlexW2295934074MaRDI QIDQ2796039

Sharon Shoham, Noam Rinetzky

Publication date: 23 March 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-662-49122-5_5

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Property Directed Abstract Interpretation