Matches in SemOpenAlex for { <https://semopenalex.org/work/W7320307> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W7320307 endingPage "509" @default.
- W7320307 startingPage "505" @default.
- W7320307 abstract "ΧChek is a multi-valued symbolic model-checker [CDE01a,CDEG01]. It is a generalization of an existing symbolic model-checking algorithm to an algorithm for a multivalued extension of CTL (ΧCTL). Given a system and a ΧCTL property, Chek returns the degree to which the system satisfies the property. By multi-valued logic we mean a logic whose values form a finite quasi- boolean distributive lattice. The meet and join operations of the lattice are interpreted as the logical and and or, respectively. The negation is given by a lattice dual-automorphism with period 2, ensuring the preservation of involution of negation (¬¬a = a) and De Morgan laws. For example, a 3-valued logic of abstraction (3), consisting of values true (T), maybe (M), and false (F), is given in Figure 1(a), where the negation operator is defined as: ¬T = F, ¬F = T, and ¬ M = M." @default.
- W7320307 created "2016-06-24" @default.
- W7320307 creator A5046834577 @default.
- W7320307 creator A5070460583 @default.
- W7320307 creator A5079431306 @default.
- W7320307 date "2002-01-01" @default.
- W7320307 modified "2023-10-16" @default.
- W7320307 title "ΧChek: A Multi-valued Model-Checker" @default.
- W7320307 cites W1555593767 @default.
- W7320307 cites W1588557629 @default.
- W7320307 cites W1604272107 @default.
- W7320307 cites W1933906947 @default.
- W7320307 cites W1996832037 @default.
- W7320307 cites W3049098040 @default.
- W7320307 cites W4233995506 @default.
- W7320307 doi "https://doi.org/10.1007/3-540-45657-0_41" @default.
- W7320307 hasPublicationYear "2002" @default.
- W7320307 type Work @default.
- W7320307 sameAs 7320307 @default.
- W7320307 citedByCount "22" @default.
- W7320307 countsByYear W73203072015 @default.
- W7320307 countsByYear W73203072018 @default.
- W7320307 crossrefType "book-chapter" @default.
- W7320307 hasAuthorship W7320307A5046834577 @default.
- W7320307 hasAuthorship W7320307A5070460583 @default.
- W7320307 hasAuthorship W7320307A5079431306 @default.
- W7320307 hasBestOaLocation W73203071 @default.
- W7320307 hasConcept C110251889 @default.
- W7320307 hasConcept C199360897 @default.
- W7320307 hasConcept C41008148 @default.
- W7320307 hasConceptScore W7320307C110251889 @default.
- W7320307 hasConceptScore W7320307C199360897 @default.
- W7320307 hasConceptScore W7320307C41008148 @default.
- W7320307 hasLocation W73203071 @default.
- W7320307 hasOpenAccess W7320307 @default.
- W7320307 hasPrimaryLocation W73203071 @default.
- W7320307 hasRelatedWork W1557832504 @default.
- W7320307 hasRelatedWork W1583364777 @default.
- W7320307 hasRelatedWork W2109507516 @default.
- W7320307 hasRelatedWork W2135396778 @default.
- W7320307 hasRelatedWork W2151898527 @default.
- W7320307 hasRelatedWork W2364866360 @default.
- W7320307 hasRelatedWork W4243252198 @default.
- W7320307 hasRelatedWork W47563837 @default.
- W7320307 hasRelatedWork W1894736207 @default.
- W7320307 hasRelatedWork W2583261385 @default.
- W7320307 isParatext "false" @default.
- W7320307 isRetracted "false" @default.
- W7320307 magId "7320307" @default.
- W7320307 workType "book-chapter" @default.