Bounded Model Checking with Description Logic Reasoning

DOI10.1007/978-3-540-73099-6_7zbMath1132.68465OpenAlexW1600640230MaRDI QIDQ5434479

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

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)

Uses Software

• Chaff

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