Matches in SemOpenAlex for { <https://semopenalex.org/work/W6279871> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W6279871 endingPage "580" @default.
- W6279871 startingPage "576" @default.
- W6279871 abstract "XMC is a toolset for specifying and verifying concurrent systems. Its main mode of verification is temporal-logic model checking [CES86], although equivalence checkers have also been implemented. In its current form, temporal properties are specified in the alternation-free fragment of the modal mu-calculus [Koz83], and system models are specified in XL, a value-passing language based on CCS [Mil89]. The core computational components of the XMC system, such as those for compiling the specification language, model checking, etc., are built on top of the XSB tabled logic-programming system [XSB99]." @default.
- W6279871 created "2016-06-24" @default.
- W6279871 creator A5005648942 @default.
- W6279871 creator A5039202410 @default.
- W6279871 creator A5056708608 @default.
- W6279871 creator A5058117020 @default.
- W6279871 creator A5058376235 @default.
- W6279871 creator A5060115298 @default.
- W6279871 creator A5090991667 @default.
- W6279871 date "2000-01-01" @default.
- W6279871 modified "2023-10-16" @default.
- W6279871 title "XMC: A Logic-Programming-Based Verification Toolset" @default.
- W6279871 cites W1524332517 @default.
- W6279871 cites W1571819235 @default.
- W6279871 cites W1606838594 @default.
- W6279871 cites W1816460274 @default.
- W6279871 cites W2012001501 @default.
- W6279871 cites W2014474920 @default.
- W6279871 cites W2015640848 @default.
- W6279871 cites W2115716046 @default.
- W6279871 cites W2117189826 @default.
- W6279871 cites W2136220459 @default.
- W6279871 cites W3000457345 @default.
- W6279871 doi "https://doi.org/10.1007/10722167_48" @default.
- W6279871 hasPublicationYear "2000" @default.
- W6279871 type Work @default.
- W6279871 sameAs 6279871 @default.
- W6279871 citedByCount "46" @default.
- W6279871 countsByYear W62798712012 @default.
- W6279871 countsByYear W62798712013 @default.
- W6279871 countsByYear W62798712015 @default.
- W6279871 countsByYear W62798712018 @default.
- W6279871 countsByYear W62798712019 @default.
- W6279871 countsByYear W62798712020 @default.
- W6279871 crossrefType "book-chapter" @default.
- W6279871 hasAuthorship W6279871A5005648942 @default.
- W6279871 hasAuthorship W6279871A5039202410 @default.
- W6279871 hasAuthorship W6279871A5056708608 @default.
- W6279871 hasAuthorship W6279871A5058117020 @default.
- W6279871 hasAuthorship W6279871A5058376235 @default.
- W6279871 hasAuthorship W6279871A5060115298 @default.
- W6279871 hasAuthorship W6279871A5090991667 @default.
- W6279871 hasBestOaLocation W62798711 @default.
- W6279871 hasConcept C115903868 @default.
- W6279871 hasConcept C128838566 @default.
- W6279871 hasConcept C199360897 @default.
- W6279871 hasConcept C41008148 @default.
- W6279871 hasConceptScore W6279871C115903868 @default.
- W6279871 hasConceptScore W6279871C128838566 @default.
- W6279871 hasConceptScore W6279871C199360897 @default.
- W6279871 hasConceptScore W6279871C41008148 @default.
- W6279871 hasLocation W62798711 @default.
- W6279871 hasOpenAccess W6279871 @default.
- W6279871 hasPrimaryLocation W62798711 @default.
- W6279871 hasRelatedWork W1527862632 @default.
- W6279871 hasRelatedWork W1548535723 @default.
- W6279871 hasRelatedWork W1966767581 @default.
- W6279871 hasRelatedWork W2112962394 @default.
- W6279871 hasRelatedWork W2118300983 @default.
- W6279871 hasRelatedWork W2135396778 @default.
- W6279871 hasRelatedWork W2740990710 @default.
- W6279871 hasRelatedWork W3137189469 @default.
- W6279871 hasRelatedWork W4243252198 @default.
- W6279871 hasRelatedWork W178747793 @default.
- W6279871 isParatext "false" @default.
- W6279871 isRetracted "false" @default.
- W6279871 magId "6279871" @default.
- W6279871 workType "book-chapter" @default.