How to transform an analyzer into a verifier

DOI10.1007/3-540-45653-8_41MaRDI QIDQ2996196zbMATH OpenOpenAlexFDO

Authors Roberta Gori, Marco Comini, Giorgio Levi

Publication date 6 May 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45653-8_41

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Static analysis, abstract interpretation and verification in (constraint logic) programming
• scientific article; zbMATH DE number 1953018
• Abstract interpretation based verification of logic programs
• scientific article; zbMATH DE number 1696591
• scientific article; zbMATH DE number 1949621

This page was built for publication: How to transform an analyzer into a verifier

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