Matches in SemOpenAlex for { <https://semopenalex.org/work/W1890748120> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1890748120 endingPage "133" @default.
- W1890748120 startingPage "118" @default.
- W1890748120 abstract "Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality analysis has to be employed to check the constructiveness of the programs which implies the existence of unique and consistent behaviours. In this paper, we describe the embedding of various views of causality analysis into the HOL4 theorem prover to check their equivalence. In particular, we show the equivalence between the classical analysis procedure, which is based on a fixpoint computation, and a formulation as a (bounded) model checking problem." @default.
- W1890748120 created "2016-06-24" @default.
- W1890748120 creator A5053832606 @default.
- W1890748120 creator A5081184867 @default.
- W1890748120 date "2008-01-01" @default.
- W1890748120 modified "2023-10-14" @default.
- W1890748120 title "Formal Reasoning About Causality Analysis" @default.
- W1890748120 cites W1525472576 @default.
- W1890748120 cites W1785117661 @default.
- W1890748120 cites W2024223745 @default.
- W1890748120 cites W2067776562 @default.
- W1890748120 cites W2119355229 @default.
- W1890748120 cites W2127335869 @default.
- W1890748120 cites W2129717347 @default.
- W1890748120 cites W2152866817 @default.
- W1890748120 cites W2157118812 @default.
- W1890748120 cites W2159318488 @default.
- W1890748120 cites W25571951 @default.
- W1890748120 cites W3141112769 @default.
- W1890748120 cites W4235222319 @default.
- W1890748120 doi "https://doi.org/10.1007/978-3-540-71067-7_13" @default.
- W1890748120 hasPublicationYear "2008" @default.
- W1890748120 type Work @default.
- W1890748120 sameAs 1890748120 @default.
- W1890748120 citedByCount "4" @default.
- W1890748120 countsByYear W18907481202012 @default.
- W1890748120 countsByYear W18907481202013 @default.
- W1890748120 countsByYear W18907481202014 @default.
- W1890748120 crossrefType "book-chapter" @default.
- W1890748120 hasAuthorship W1890748120A5053832606 @default.
- W1890748120 hasAuthorship W1890748120A5081184867 @default.
- W1890748120 hasConcept C110251889 @default.
- W1890748120 hasConcept C11413529 @default.
- W1890748120 hasConcept C118615104 @default.
- W1890748120 hasConcept C121332964 @default.
- W1890748120 hasConcept C134306372 @default.
- W1890748120 hasConcept C136119220 @default.
- W1890748120 hasConcept C154945302 @default.
- W1890748120 hasConcept C202444582 @default.
- W1890748120 hasConcept C206880738 @default.
- W1890748120 hasConcept C2780069185 @default.
- W1890748120 hasConcept C33923547 @default.
- W1890748120 hasConcept C34388435 @default.
- W1890748120 hasConcept C41008148 @default.
- W1890748120 hasConcept C41608201 @default.
- W1890748120 hasConcept C45374587 @default.
- W1890748120 hasConcept C62520636 @default.
- W1890748120 hasConcept C64357122 @default.
- W1890748120 hasConcept C80444323 @default.
- W1890748120 hasConceptScore W1890748120C110251889 @default.
- W1890748120 hasConceptScore W1890748120C11413529 @default.
- W1890748120 hasConceptScore W1890748120C118615104 @default.
- W1890748120 hasConceptScore W1890748120C121332964 @default.
- W1890748120 hasConceptScore W1890748120C134306372 @default.
- W1890748120 hasConceptScore W1890748120C136119220 @default.
- W1890748120 hasConceptScore W1890748120C154945302 @default.
- W1890748120 hasConceptScore W1890748120C202444582 @default.
- W1890748120 hasConceptScore W1890748120C206880738 @default.
- W1890748120 hasConceptScore W1890748120C2780069185 @default.
- W1890748120 hasConceptScore W1890748120C33923547 @default.
- W1890748120 hasConceptScore W1890748120C34388435 @default.
- W1890748120 hasConceptScore W1890748120C41008148 @default.
- W1890748120 hasConceptScore W1890748120C41608201 @default.
- W1890748120 hasConceptScore W1890748120C45374587 @default.
- W1890748120 hasConceptScore W1890748120C62520636 @default.
- W1890748120 hasConceptScore W1890748120C64357122 @default.
- W1890748120 hasConceptScore W1890748120C80444323 @default.
- W1890748120 hasLocation W18907481201 @default.
- W1890748120 hasOpenAccess W1890748120 @default.
- W1890748120 hasPrimaryLocation W18907481201 @default.
- W1890748120 hasRelatedWork W1597578789 @default.
- W1890748120 hasRelatedWork W1598914363 @default.
- W1890748120 hasRelatedWork W1717165987 @default.
- W1890748120 hasRelatedWork W1748450182 @default.
- W1890748120 hasRelatedWork W2061746685 @default.
- W1890748120 hasRelatedWork W2225718586 @default.
- W1890748120 hasRelatedWork W2275271575 @default.
- W1890748120 hasRelatedWork W2807819528 @default.
- W1890748120 hasRelatedWork W4295885746 @default.
- W1890748120 hasRelatedWork W1580211323 @default.
- W1890748120 isParatext "false" @default.
- W1890748120 isRetracted "false" @default.
- W1890748120 magId "1890748120" @default.
- W1890748120 workType "book-chapter" @default.