Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955251003> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2955251003 endingPage "128" @default.
- W2955251003 startingPage "110" @default.
- W2955251003 abstract "Early work on automated formal verification produced pioneering model-checking algorithms, in which system computations were modelled either as sequences of distinguished states in which the system evolves or as sequences of events or actions occurring during the system’s state transitions. In both cases, automata-like structures generally known as transition systems were exploited to capture all possible computations, but still either state-based or event-based. Many years later, both views were combined in descriptions of computations as the evolution between distinguished states by means of transitions characterised by the occurrence of events, and verification tools were adapted to this more general setting. Meanwhile, the most important drive in improving verification tools concerned the complexity of models, which was attacked by algorithms capable of minimising the information needed for deciding the verification questions. One of the outcomes of this quest was local, on-the-fly model checking. Both of these lines of research, pioneered by Bernhard Steffen, are discussed in this paper in a general retrospective on state-based and event-based models of transition systems and temporal logics, followed by an overview of how this is exploited in the KandISTI model-checking environment." @default.
- W2955251003 created "2019-07-12" @default.
- W2955251003 creator A5012008673 @default.
- W2955251003 creator A5014572316 @default.
- W2955251003 creator A5064415269 @default.
- W2955251003 creator A5084211673 @default.
- W2955251003 date "2019-01-01" @default.
- W2955251003 modified "2023-09-26" @default.
- W2955251003 title "States and Events in KandISTI" @default.
- W2955251003 cites W119381390 @default.
- W2955251003 cites W1487199072 @default.
- W2955251003 cites W1490526406 @default.
- W2955251003 cites W1504739534 @default.
- W2955251003 cites W1508466959 @default.
- W2955251003 cites W1516055129 @default.
- W2955251003 cites W1525788564 @default.
- W2955251003 cites W1570088913 @default.
- W2955251003 cites W1571376505 @default.
- W2955251003 cites W1590315663 @default.
- W2955251003 cites W1593428110 @default.
- W2955251003 cites W1602925513 @default.
- W2955251003 cites W1605031929 @default.
- W2955251003 cites W1678144 @default.
- W2955251003 cites W1707909592 @default.
- W2955251003 cites W1756958128 @default.
- W2955251003 cites W1791618115 @default.
- W2955251003 cites W1874424006 @default.
- W2955251003 cites W1978469611 @default.
- W2955251003 cites W1998156538 @default.
- W2955251003 cites W2015640848 @default.
- W2955251003 cites W2021530756 @default.
- W2955251003 cites W2025280888 @default.
- W2955251003 cites W2026591657 @default.
- W2955251003 cites W2066874030 @default.
- W2955251003 cites W2090315845 @default.
- W2955251003 cites W2101113805 @default.
- W2955251003 cites W2102458296 @default.
- W2955251003 cites W2102548669 @default.
- W2955251003 cites W2107144615 @default.
- W2955251003 cites W2116863568 @default.
- W2955251003 cites W2117189826 @default.
- W2955251003 cites W2123106596 @default.
- W2955251003 cites W2142542683 @default.
- W2955251003 cites W2142693631 @default.
- W2955251003 cites W2148106163 @default.
- W2955251003 cites W2183677651 @default.
- W2955251003 cites W2219042429 @default.
- W2955251003 cites W225723410 @default.
- W2955251003 cites W2581301280 @default.
- W2955251003 cites W2609320269 @default.
- W2955251003 cites W2739324783 @default.
- W2955251003 cites W2790861688 @default.
- W2955251003 cites W2791307021 @default.
- W2955251003 cites W2912640545 @default.
- W2955251003 cites W4206355825 @default.
- W2955251003 cites W955497056 @default.
- W2955251003 cites W96206546 @default.
- W2955251003 doi "https://doi.org/10.1007/978-3-030-22348-9_8" @default.
- W2955251003 hasPublicationYear "2019" @default.
- W2955251003 type Work @default.
- W2955251003 sameAs 2955251003 @default.
- W2955251003 citedByCount "3" @default.
- W2955251003 countsByYear W29552510032019 @default.
- W2955251003 countsByYear W29552510032022 @default.
- W2955251003 countsByYear W29552510032023 @default.
- W2955251003 crossrefType "book-chapter" @default.
- W2955251003 hasAuthorship W2955251003A5012008673 @default.
- W2955251003 hasAuthorship W2955251003A5014572316 @default.
- W2955251003 hasAuthorship W2955251003A5064415269 @default.
- W2955251003 hasAuthorship W2955251003A5084211673 @default.
- W2955251003 hasConcept C95457728 @default.
- W2955251003 hasConceptScore W2955251003C95457728 @default.
- W2955251003 hasLocation W29552510031 @default.
- W2955251003 hasOpenAccess W2955251003 @default.
- W2955251003 hasPrimaryLocation W29552510031 @default.
- W2955251003 hasRelatedWork W2067388071 @default.
- W2955251003 hasRelatedWork W2319470185 @default.
- W2955251003 hasRelatedWork W2478337908 @default.
- W2955251003 hasRelatedWork W2480794981 @default.
- W2955251003 hasRelatedWork W2488258410 @default.
- W2955251003 hasRelatedWork W2503791906 @default.
- W2955251003 hasRelatedWork W2586334612 @default.
- W2955251003 hasRelatedWork W2586510063 @default.
- W2955251003 hasRelatedWork W2899084033 @default.
- W2955251003 hasRelatedWork W2908402300 @default.
- W2955251003 isParatext "false" @default.
- W2955251003 isRetracted "false" @default.
- W2955251003 magId "2955251003" @default.
- W2955251003 workType "book-chapter" @default.