Matches in SemOpenAlex for { <https://semopenalex.org/work/W1605031929> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1605031929 endingPage "164" @default.
- W1605031929 startingPage "148" @default.
- W1605031929 abstract "Modal μ-calculus is an expressive specification formalism for temporal properties of concurrent programs represented as Labeled Transition Systems (Ltss). However, its practical use is hampered by the complexity of the formulas, which makes the specification task difficult and error-prone. In this paper, we propose Mcl (Model Checking Language), an enhancement of modal μ-calculus with high-level operators aimed at improving expressiveness and conciseness of formulas. The main Mcl ingredients are parameterized fixed points, action patterns extracting data values from Lts actions, modalities on transition sequences described using extended regular expressions and programming language constructs, and an infinite looping operator specifying fairness. We also present a method for on-the-fly model checking of Mcl formulas on finite Ltss, based on the local resolution of boolean equation systems, which has a linear-time complexity for alternation-free and fairness formulas. Mcl is supported by the Evaluator 4.0 model checker developed within the Cadp verification toolbox." @default.
- W1605031929 created "2016-06-24" @default.
- W1605031929 creator A5068981088 @default.
- W1605031929 creator A5080413721 @default.
- W1605031929 date "2008-06-04" @default.
- W1605031929 modified "2023-10-16" @default.
- W1605031929 title "A Model Checking Language for Concurrent Value-Passing Systems" @default.
- W1605031929 cites W1483422122 @default.
- W1605031929 cites W1492291048 @default.
- W1605031929 cites W1507281497 @default.
- W1605031929 cites W1513368344 @default.
- W1605031929 cites W1520238628 @default.
- W1605031929 cites W1550163465 @default.
- W1605031929 cites W1573078772 @default.
- W1605031929 cites W1600581889 @default.
- W1605031929 cites W1602925513 @default.
- W1605031929 cites W1825341937 @default.
- W1605031929 cites W1964845238 @default.
- W1605031929 cites W1970603830 @default.
- W1605031929 cites W1980377655 @default.
- W1605031929 cites W1996832037 @default.
- W1605031929 cites W2004306067 @default.
- W1605031929 cites W2015640848 @default.
- W1605031929 cites W2021412145 @default.
- W1605031929 cites W2101982422 @default.
- W1605031929 cites W2115273226 @default.
- W1605031929 cites W2118382442 @default.
- W1605031929 cites W2126395320 @default.
- W1605031929 cites W2126438238 @default.
- W1605031929 cites W2139470733 @default.
- W1605031929 cites W2171536993 @default.
- W1605031929 cites W2756011084 @default.
- W1605031929 cites W2806619258 @default.
- W1605031929 doi "https://doi.org/10.1007/978-3-540-68237-0_12" @default.
- W1605031929 hasPublicationYear "2008" @default.
- W1605031929 type Work @default.
- W1605031929 sameAs 1605031929 @default.
- W1605031929 citedByCount "123" @default.
- W1605031929 countsByYear W16050319292012 @default.
- W1605031929 countsByYear W16050319292013 @default.
- W1605031929 countsByYear W16050319292014 @default.
- W1605031929 countsByYear W16050319292015 @default.
- W1605031929 countsByYear W16050319292016 @default.
- W1605031929 countsByYear W16050319292017 @default.
- W1605031929 countsByYear W16050319292018 @default.
- W1605031929 countsByYear W16050319292019 @default.
- W1605031929 countsByYear W16050319292020 @default.
- W1605031929 countsByYear W16050319292021 @default.
- W1605031929 countsByYear W16050319292022 @default.
- W1605031929 countsByYear W16050319292023 @default.
- W1605031929 crossrefType "book-chapter" @default.
- W1605031929 hasAuthorship W1605031929A5068981088 @default.
- W1605031929 hasAuthorship W1605031929A5080413721 @default.
- W1605031929 hasBestOaLocation W16050319292 @default.
- W1605031929 hasConcept C110251889 @default.
- W1605031929 hasConcept C11413529 @default.
- W1605031929 hasConcept C165464430 @default.
- W1605031929 hasConcept C185592680 @default.
- W1605031929 hasConcept C188027245 @default.
- W1605031929 hasConcept C199360897 @default.
- W1605031929 hasConcept C201677973 @default.
- W1605031929 hasConcept C2777655017 @default.
- W1605031929 hasConcept C41008148 @default.
- W1605031929 hasConcept C71139939 @default.
- W1605031929 hasConcept C80444323 @default.
- W1605031929 hasConceptScore W1605031929C110251889 @default.
- W1605031929 hasConceptScore W1605031929C11413529 @default.
- W1605031929 hasConceptScore W1605031929C165464430 @default.
- W1605031929 hasConceptScore W1605031929C185592680 @default.
- W1605031929 hasConceptScore W1605031929C188027245 @default.
- W1605031929 hasConceptScore W1605031929C199360897 @default.
- W1605031929 hasConceptScore W1605031929C201677973 @default.
- W1605031929 hasConceptScore W1605031929C2777655017 @default.
- W1605031929 hasConceptScore W1605031929C41008148 @default.
- W1605031929 hasConceptScore W1605031929C71139939 @default.
- W1605031929 hasConceptScore W1605031929C80444323 @default.
- W1605031929 hasLocation W16050319291 @default.
- W1605031929 hasLocation W16050319292 @default.
- W1605031929 hasLocation W16050319293 @default.
- W1605031929 hasLocation W16050319294 @default.
- W1605031929 hasOpenAccess W1605031929 @default.
- W1605031929 hasPrimaryLocation W16050319291 @default.
- W1605031929 hasRelatedWork W1560069502 @default.
- W1605031929 hasRelatedWork W1583364777 @default.
- W1605031929 hasRelatedWork W1984757784 @default.
- W1605031929 hasRelatedWork W2151898527 @default.
- W1605031929 hasRelatedWork W2257183258 @default.
- W1605031929 hasRelatedWork W2415471432 @default.
- W1605031929 hasRelatedWork W2575395113 @default.
- W1605031929 hasRelatedWork W295290875 @default.
- W1605031929 hasRelatedWork W3114124522 @default.
- W1605031929 hasRelatedWork W4245713008 @default.
- W1605031929 isParatext "false" @default.
- W1605031929 isRetracted "false" @default.
- W1605031929 magId "1605031929" @default.
- W1605031929 workType "book-chapter" @default.