Finding inconsistencies in programs with loops

DOI10.1007/978-3-662-48899-7_35MaRDI QIDQ3460079zbMATH OpenOpenAlexFDO

Authors Temesghen Kahsai, Jorge Navas, Dejan Jovanović, Martin Schäf

Publication date 12 January 2016

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

Full work available at URL https://doi.org/10.1007/978-3-662-48899-7_35

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Severity levels of inconsistent code
• On invariant checking
• Characterising and explaining inconsistency in logic programs
• Detecting inconsistencies in large first-order knowledge bases
• Tools for finding inconsistencies in real-world logic-based systems

Cited in

(1)

• Severity levels of inconsistent code

This page was built for publication: Finding inconsistencies in programs with loops

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