Bounded Model Checking with Description Logic Reasoning

DOI10.1007/978-3-540-73099-6_7MaRDI QIDQ5434479zbMATH OpenOpenAlexFDO

Authors Shoham Ben-David, Richard Trefler, Grant E. Weddell

Publication date 4 January 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-73099-6_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic in artificial intelligence (68T27)

Recommendations

• Model checking using description logic
• Bounded model checking of infinite state systems
• scientific article; zbMATH DE number 1799521
• Bounded model checking using satisfiability solving
• scientific article; zbMATH DE number 1670796

Cited in

(4)

• Verifying Properties of Infinite Sequences of Description Logic Actions
• Model checking using description logic
• Theory and Applications of Satisfiability Testing
• Convergence testing in term-level bounded model checking

Describes a project that uses

Uses Software

• Chaff

This page was built for publication: Bounded Model Checking with Description Logic Reasoning

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