FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034102118> ?p ?o ?g. }

• W2034102118 endingPage "408" @default.
• W2034102118 startingPage "371" @default.
• W2034102118 abstract "This article introduces the concept of multi-valued model-checking and describes a multi-valued symbolic model-checker, ΧChek. Multi-valued model-checking is a generalization of classical model-checking, useful for analyzing models that contain uncertainty (lack of essential information) or inconsistency (contradictory information, often occurring when information is gathered from multiple sources). Multi-valued logics support the explicit modeling of uncertainty and disagreement by providing additional truth values in the logic.This article provides a theoretical basis for multi-valued model-checking and discusses some of its applications. A companion article [Chechik et al. 2002b] describes implementation issues in detail. The model-checker works for any member of a large class of multi-valued logics. Our modeling language is based on a generalization of Kripke structures, where both atomic propositions and transitions between states may take any of the truth values of a given multi-valued logic. Properties are expressed in ΧCTL, our multi-valued extension of the temporal logic CTL.We define the class of logics, present the theory of multi-valued sets and multi-valued relations used in our model-checking algorithm, and define the multi-valued extensions of CTL and Kripke structures. We explore the relationship between ΧCTL and CTL, and provide a symbolic model-checking algorithm for ΧCTL. We also address the use of fairness in multi-valued model-checking. Finally, we discuss some applications of the multi-valued model-checking approach." @default.
• W2034102118 created "2016-06-24" @default.
• W2034102118 creator A5046834577 @default.
• W2034102118 creator A5070460583 @default.
• W2034102118 creator A5079349226 @default.
• W2034102118 creator A5079431306 @default.
• W2034102118 date "2003-10-01" @default.
• W2034102118 modified "2023-10-17" @default.
• W2034102118 title "Multi-valued symbolic model-checking" @default.
• W2034102118 cites W1481843134 @default.
• W2034102118 cites W1503316778 @default.
• W2034102118 cites W1507173517 @default.
• W2034102118 cites W1555593767 @default.
• W2034102118 cites W1588557629 @default.
• W2034102118 cites W1604272107 @default.
• W2034102118 cites W1605320031 @default.
• W2034102118 cites W1806449990 @default.
• W2034102118 cites W2004291479 @default.
• W2034102118 cites W2015640848 @default.
• W2034102118 cites W2022427243 @default.
• W2034102118 cites W2043100293 @default.
• W2034102118 cites W2054416947 @default.
• W2034102118 cites W2090106217 @default.
• W2034102118 cites W2093713825 @default.
• W2034102118 cites W2116117396 @default.
• W2034102118 cites W2117189826 @default.
• W2034102118 cites W2129901741 @default.
• W2034102118 cites W2170577595 @default.
• W2034102118 cites W2501120957 @default.
• W2034102118 cites W3086265457 @default.
• W2034102118 cites W4244470190 @default.
• W2034102118 doi "https://doi.org/10.1145/990010.990011" @default.
• W2034102118 hasPublicationYear "2003" @default.
• W2034102118 type Work @default.
• W2034102118 sameAs 2034102118 @default.
• W2034102118 citedByCount "154" @default.
• W2034102118 countsByYear W20341021182012 @default.
• W2034102118 countsByYear W20341021182013 @default.
• W2034102118 countsByYear W20341021182014 @default.
• W2034102118 countsByYear W20341021182015 @default.
• W2034102118 countsByYear W20341021182016 @default.
• W2034102118 countsByYear W20341021182017 @default.
• W2034102118 countsByYear W20341021182018 @default.
• W2034102118 countsByYear W20341021182019 @default.
• W2034102118 countsByYear W20341021182020 @default.
• W2034102118 countsByYear W20341021182021 @default.
• W2034102118 countsByYear W20341021182022 @default.
• W2034102118 countsByYear W20341021182023 @default.
• W2034102118 crossrefType "journal-article" @default.
• W2034102118 hasAuthorship W2034102118A5046834577 @default.
• W2034102118 hasAuthorship W2034102118A5070460583 @default.
• W2034102118 hasAuthorship W2034102118A5079349226 @default.
• W2034102118 hasAuthorship W2034102118A5079431306 @default.
• W2034102118 hasConcept C110251889 @default.
• W2034102118 hasConcept C11413529 @default.
• W2034102118 hasConcept C134306372 @default.
• W2034102118 hasConcept C147969180 @default.
• W2034102118 hasConcept C154317977 @default.
• W2034102118 hasConcept C154945302 @default.
• W2034102118 hasConcept C161913894 @default.
• W2034102118 hasConcept C177148314 @default.
• W2034102118 hasConcept C185592680 @default.
• W2034102118 hasConcept C198008173 @default.
• W2034102118 hasConcept C199360897 @default.
• W2034102118 hasConcept C202751555 @default.
• W2034102118 hasConcept C23123167 @default.
• W2034102118 hasConcept C25016198 @default.
• W2034102118 hasConcept C2777212361 @default.
• W2034102118 hasConcept C2778029271 @default.
• W2034102118 hasConcept C30888246 @default.
• W2034102118 hasConcept C33923547 @default.
• W2034102118 hasConcept C41008148 @default.
• W2034102118 hasConcept C55493867 @default.
• W2034102118 hasConcept C80444323 @default.
• W2034102118 hasConceptScore W2034102118C110251889 @default.
• W2034102118 hasConceptScore W2034102118C11413529 @default.
• W2034102118 hasConceptScore W2034102118C134306372 @default.
• W2034102118 hasConceptScore W2034102118C147969180 @default.
• W2034102118 hasConceptScore W2034102118C154317977 @default.
• W2034102118 hasConceptScore W2034102118C154945302 @default.
• W2034102118 hasConceptScore W2034102118C161913894 @default.
• W2034102118 hasConceptScore W2034102118C177148314 @default.
• W2034102118 hasConceptScore W2034102118C185592680 @default.
• W2034102118 hasConceptScore W2034102118C198008173 @default.
• W2034102118 hasConceptScore W2034102118C199360897 @default.
• W2034102118 hasConceptScore W2034102118C202751555 @default.
• W2034102118 hasConceptScore W2034102118C23123167 @default.
• W2034102118 hasConceptScore W2034102118C25016198 @default.
• W2034102118 hasConceptScore W2034102118C2777212361 @default.
• W2034102118 hasConceptScore W2034102118C2778029271 @default.
• W2034102118 hasConceptScore W2034102118C30888246 @default.
• W2034102118 hasConceptScore W2034102118C33923547 @default.
• W2034102118 hasConceptScore W2034102118C41008148 @default.
• W2034102118 hasConceptScore W2034102118C55493867 @default.
• W2034102118 hasConceptScore W2034102118C80444323 @default.
• W2034102118 hasIssue "4" @default.
• W2034102118 hasLocation W20341021181 @default.
• W2034102118 hasOpenAccess W2034102118 @default.

• next