Model checking using description logic

DOI10.1093/LOGCOM/EXN062MaRDI QIDQ3406686zbMATH OpenOpenAlexFDO

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

Publication date 19 February 2010

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exn062

zbMATH Keywords

description logicmodel checking

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

• Bounded Model Checking with Description Logic Reasoning
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 1799521
• Bounded model checking using satisfiability solving
• Bounded model checking of infinite state systems

Cited in

(5)

• Enhancing probabilistic model checking with ontologies
• scientific article; zbMATH DE number 1497792 (Why is no real title available?)
• Bounded Model Checking with Description Logic Reasoning
• scientific article; zbMATH DE number 2230857 (Why is no real title available?)
• Ontology-mediated probabilistic model checking

This page was built for publication: Model checking using description logic

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