Finding inconsistencies in programs with loops

DOI10.1007/978-3-662-48899-7_35zbMATH Open1471.68068OpenAlexW2294679441MaRDI QIDQ3460079FDOQ3460079

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

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

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)

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)