Matches in SemOpenAlex for { <https://semopenalex.org/work/W12837821> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W12837821 endingPage "249" @default.
- W12837821 startingPage "235" @default.
- W12837821 abstract "Nowadays academia and industry use model checkers. These tools use search-based algorithms to check the satisfaction of some property f in M. Formally, M ⊧ f, where M is a transition system representation of a specification written in a language L. Such a representation may come from the semantics of L. This paper presents a rapid prototyping of a model checker development strategy for Circus based on its operational semantics. We capture this semantics with the Microsoft FORMULA framework and use it to analyse (deadlock, livelock, and nondeterminism of) Circus specifications. As FORMULA supports SMT-solving, we can handle infinite data communications and predicates. Furthermore, we create a semantically well founded Circus model checker as long as executing FORMULA is equivalent to reasoning with First-Order Logic (Clark completion). We illustrate the use of the model-checker with an extract of an industrial case study." @default.
- W12837821 created "2016-06-24" @default.
- W12837821 creator A5006626759 @default.
- W12837821 creator A5047317067 @default.
- W12837821 creator A5058724787 @default.
- W12837821 creator A5074182733 @default.
- W12837821 date "2014-01-01" @default.
- W12837821 modified "2023-09-23" @default.
- W12837821 title "Rapid Prototyping of a Semantically Well Founded Circus Model Checker" @default.
- W12837821 cites W1480909796 @default.
- W12837821 cites W1515908697 @default.
- W12837821 cites W1748595489 @default.
- W12837821 cites W1756737887 @default.
- W12837821 cites W1966324913 @default.
- W12837821 cites W1975483972 @default.
- W12837821 cites W2015086350 @default.
- W12837821 cites W2055120563 @default.
- W12837821 cites W2080593426 @default.
- W12837821 cites W2104703296 @default.
- W12837821 cites W2107489588 @default.
- W12837821 cites W2223046624 @default.
- W12837821 cites W26430177 @default.
- W12837821 cites W4240872599 @default.
- W12837821 doi "https://doi.org/10.1007/978-3-319-10431-7_17" @default.
- W12837821 hasPublicationYear "2014" @default.
- W12837821 type Work @default.
- W12837821 sameAs 12837821 @default.
- W12837821 citedByCount "7" @default.
- W12837821 countsByYear W128378212014 @default.
- W12837821 countsByYear W128378212015 @default.
- W12837821 countsByYear W128378212017 @default.
- W12837821 countsByYear W128378212019 @default.
- W12837821 countsByYear W128378212022 @default.
- W12837821 crossrefType "book-chapter" @default.
- W12837821 hasAuthorship W12837821A5006626759 @default.
- W12837821 hasAuthorship W12837821A5047317067 @default.
- W12837821 hasAuthorship W12837821A5058724787 @default.
- W12837821 hasAuthorship W12837821A5074182733 @default.
- W12837821 hasConcept C110251889 @default.
- W12837821 hasConcept C111472728 @default.
- W12837821 hasConcept C127413603 @default.
- W12837821 hasConcept C138885662 @default.
- W12837821 hasConcept C156325763 @default.
- W12837821 hasConcept C159023740 @default.
- W12837821 hasConcept C17744445 @default.
- W12837821 hasConcept C184337299 @default.
- W12837821 hasConcept C189950617 @default.
- W12837821 hasConcept C199360897 @default.
- W12837821 hasConcept C199539241 @default.
- W12837821 hasConcept C2776359362 @default.
- W12837821 hasConcept C2780395129 @default.
- W12837821 hasConcept C41008148 @default.
- W12837821 hasConcept C78519656 @default.
- W12837821 hasConcept C80444323 @default.
- W12837821 hasConcept C94625758 @default.
- W12837821 hasConceptScore W12837821C110251889 @default.
- W12837821 hasConceptScore W12837821C111472728 @default.
- W12837821 hasConceptScore W12837821C127413603 @default.
- W12837821 hasConceptScore W12837821C138885662 @default.
- W12837821 hasConceptScore W12837821C156325763 @default.
- W12837821 hasConceptScore W12837821C159023740 @default.
- W12837821 hasConceptScore W12837821C17744445 @default.
- W12837821 hasConceptScore W12837821C184337299 @default.
- W12837821 hasConceptScore W12837821C189950617 @default.
- W12837821 hasConceptScore W12837821C199360897 @default.
- W12837821 hasConceptScore W12837821C199539241 @default.
- W12837821 hasConceptScore W12837821C2776359362 @default.
- W12837821 hasConceptScore W12837821C2780395129 @default.
- W12837821 hasConceptScore W12837821C41008148 @default.
- W12837821 hasConceptScore W12837821C78519656 @default.
- W12837821 hasConceptScore W12837821C80444323 @default.
- W12837821 hasConceptScore W12837821C94625758 @default.
- W12837821 hasLocation W128378211 @default.
- W12837821 hasOpenAccess W12837821 @default.
- W12837821 hasPrimaryLocation W128378211 @default.
- W12837821 hasRelatedWork W12837821 @default.
- W12837821 hasRelatedWork W137536751 @default.
- W12837821 hasRelatedWork W1491350228 @default.
- W12837821 hasRelatedWork W1522273308 @default.
- W12837821 hasRelatedWork W1905359732 @default.
- W12837821 hasRelatedWork W2145549849 @default.
- W12837821 hasRelatedWork W2223159144 @default.
- W12837821 hasRelatedWork W27605384 @default.
- W12837821 hasRelatedWork W2929519296 @default.
- W12837821 hasRelatedWork W69221180 @default.
- W12837821 isParatext "false" @default.
- W12837821 isRetracted "false" @default.
- W12837821 magId "12837821" @default.
- W12837821 workType "book-chapter" @default.