Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034609074> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2034609074 endingPage "131" @default.
- W2034609074 startingPage "111" @default.
- W2034609074 abstract "Model checking is an automated technique for the verification of finite-state systems that is widely used in practice. In Bounded Model Checking (BMC) the system is checked only until a given execution depth from the initial state. State of the art model checkers apply Binary Decision Diagrams (BDDs) as well as Satisfiability Solving (SAT) for this task. However, both methods suffer from the state explosion problem, which restricts the application of model checking to only modestly sized systems. The importance of model checking makes it worthwhile to explore alternative technologies, in the hope of enabling the application of the technique to a wider class of systems. Description Logic (DL) is a family of knowledge representation formalisms, mainly used for designing ontologies, for which reasoning is based on tableaux techniques. In this article, we show how model checking problems can be solved using DL reasoning. We present two different encodings of a model checking problem as a consistency check in DL, and show how DL can serve as a natural setting for representing and solving a BMC problem. Experimental results, using the DL reasoner FaCT++, give encouraging results." @default.
- W2034609074 created "2016-06-24" @default.
- W2034609074 creator A5027761564 @default.
- W2034609074 creator A5045700824 @default.
- W2034609074 creator A5050672744 @default.
- W2034609074 date "2008-11-13" @default.
- W2034609074 modified "2023-10-16" @default.
- W2034609074 title "Model Checking Using Description Logic" @default.
- W2034609074 cites W1984478483 @default.
- W2034609074 cites W2008029457 @default.
- W2034609074 cites W2080267935 @default.
- W2034609074 cites W2092218351 @default.
- W2034609074 cites W2132334337 @default.
- W2034609074 cites W2914206182 @default.
- W2034609074 doi "https://doi.org/10.1093/logcom/exn062" @default.
- W2034609074 hasPublicationYear "2008" @default.
- W2034609074 type Work @default.
- W2034609074 sameAs 2034609074 @default.
- W2034609074 citedByCount "7" @default.
- W2034609074 countsByYear W20346090742013 @default.
- W2034609074 countsByYear W20346090742015 @default.
- W2034609074 countsByYear W20346090742016 @default.
- W2034609074 countsByYear W20346090742022 @default.
- W2034609074 crossrefType "journal-article" @default.
- W2034609074 hasAuthorship W2034609074A5027761564 @default.
- W2034609074 hasAuthorship W2034609074A5045700824 @default.
- W2034609074 hasAuthorship W2034609074A5050672744 @default.
- W2034609074 hasConcept C110251889 @default.
- W2034609074 hasConcept C11413529 @default.
- W2034609074 hasConcept C199360897 @default.
- W2034609074 hasConcept C41008148 @default.
- W2034609074 hasConceptScore W2034609074C110251889 @default.
- W2034609074 hasConceptScore W2034609074C11413529 @default.
- W2034609074 hasConceptScore W2034609074C199360897 @default.
- W2034609074 hasConceptScore W2034609074C41008148 @default.
- W2034609074 hasIssue "1" @default.
- W2034609074 hasLocation W20346090741 @default.
- W2034609074 hasOpenAccess W2034609074 @default.
- W2034609074 hasPrimaryLocation W20346090741 @default.
- W2034609074 hasRelatedWork W1479736339 @default.
- W2034609074 hasRelatedWork W1583364777 @default.
- W2034609074 hasRelatedWork W1599483650 @default.
- W2034609074 hasRelatedWork W1652311832 @default.
- W2034609074 hasRelatedWork W1751458928 @default.
- W2034609074 hasRelatedWork W2138161962 @default.
- W2034609074 hasRelatedWork W2151898527 @default.
- W2034609074 hasRelatedWork W2364866360 @default.
- W2034609074 hasRelatedWork W47563837 @default.
- W2034609074 hasRelatedWork W1894736207 @default.
- W2034609074 hasVolume "20" @default.
- W2034609074 isParatext "false" @default.
- W2034609074 isRetracted "false" @default.
- W2034609074 magId "2034609074" @default.
- W2034609074 workType "article" @default.