Model Checking Using Description Logic

DOI10.1093/LOGCOM/EXN062zbMath1191.68408OpenAlexW2034609074MaRDI QIDQ3406686

Richard Trefler, Shoham Ben-David, 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

model checkingdescription logic

Mathematics Subject Classification ID

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

This page was built for publication: Model Checking Using Description Logic