Matches in SemOpenAlex for { <https://semopenalex.org/work/W3152821912> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3152821912 abstract "Distributed software is very tricky to implement correctly as some errors only occur in peculiar situations. For such errors testing is not effective. Mathematically proving correctness is hard and time consuming, and therefore, it is rarely done. Fortunately, there is a technique in between, namely model checking, that, if applied with skill, is both efficient and able to find rare errors. In this tutorial we show how to create behavioural models of parallel software, how to specify requirements using modal formulas, and how to verify these. For that we use the mCRL2 language and toolset (this https URL). We discuss the design of an evolution of well-known mutual exclusion protocols, and how model checking not only provides insight in their behaviour and correctness, but also guides their design." @default.
- W3152821912 created "2021-04-26" @default.
- W3152821912 creator A5010819147 @default.
- W3152821912 creator A5032619003 @default.
- W3152821912 date "2021-04-21" @default.
- W3152821912 modified "2023-09-27" @default.
- W3152821912 title "Tutorial: Designing Distributed Software in mCRL2" @default.
- W3152821912 cites W1503973138 @default.
- W3152821912 cites W1507281497 @default.
- W3152821912 cites W1508641834 @default.
- W3152821912 cites W1577334466 @default.
- W3152821912 cites W1944591618 @default.
- W3152821912 cites W1967535316 @default.
- W3152821912 cites W1978469611 @default.
- W3152821912 cites W2036267700 @default.
- W3152821912 cites W2050362288 @default.
- W3152821912 cites W2063880996 @default.
- W3152821912 cites W2081100947 @default.
- W3152821912 cites W2120878557 @default.
- W3152821912 cites W2123814533 @default.
- W3152821912 cites W2138696525 @default.
- W3152821912 cites W2170523074 @default.
- W3152821912 cites W2269417481 @default.
- W3152821912 cites W2737169762 @default.
- W3152821912 cites W2748872428 @default.
- W3152821912 cites W2810491896 @default.
- W3152821912 cites W2891653194 @default.
- W3152821912 cites W2991353706 @default.
- W3152821912 cites W2997458326 @default.
- W3152821912 cites W3096419693 @default.
- W3152821912 hasPublicationYear "2021" @default.
- W3152821912 type Work @default.
- W3152821912 sameAs 3152821912 @default.
- W3152821912 citedByCount "0" @default.
- W3152821912 crossrefType "posted-content" @default.
- W3152821912 hasAuthorship W3152821912A5010819147 @default.
- W3152821912 hasAuthorship W3152821912A5032619003 @default.
- W3152821912 hasConcept C110251889 @default.
- W3152821912 hasConcept C115903868 @default.
- W3152821912 hasConcept C120314980 @default.
- W3152821912 hasConcept C185592680 @default.
- W3152821912 hasConcept C188027245 @default.
- W3152821912 hasConcept C199360897 @default.
- W3152821912 hasConcept C2777904410 @default.
- W3152821912 hasConcept C41008148 @default.
- W3152821912 hasConcept C52913732 @default.
- W3152821912 hasConcept C529173508 @default.
- W3152821912 hasConcept C55439883 @default.
- W3152821912 hasConcept C56348326 @default.
- W3152821912 hasConcept C71139939 @default.
- W3152821912 hasConcept C80444323 @default.
- W3152821912 hasConceptScore W3152821912C110251889 @default.
- W3152821912 hasConceptScore W3152821912C115903868 @default.
- W3152821912 hasConceptScore W3152821912C120314980 @default.
- W3152821912 hasConceptScore W3152821912C185592680 @default.
- W3152821912 hasConceptScore W3152821912C188027245 @default.
- W3152821912 hasConceptScore W3152821912C199360897 @default.
- W3152821912 hasConceptScore W3152821912C2777904410 @default.
- W3152821912 hasConceptScore W3152821912C41008148 @default.
- W3152821912 hasConceptScore W3152821912C52913732 @default.
- W3152821912 hasConceptScore W3152821912C529173508 @default.
- W3152821912 hasConceptScore W3152821912C55439883 @default.
- W3152821912 hasConceptScore W3152821912C56348326 @default.
- W3152821912 hasConceptScore W3152821912C71139939 @default.
- W3152821912 hasConceptScore W3152821912C80444323 @default.
- W3152821912 hasLocation W31528219121 @default.
- W3152821912 hasOpenAccess W3152821912 @default.
- W3152821912 hasPrimaryLocation W31528219121 @default.
- W3152821912 hasRelatedWork W1568191380 @default.
- W3152821912 hasRelatedWork W1577352907 @default.
- W3152821912 hasRelatedWork W158039380 @default.
- W3152821912 hasRelatedWork W158967112 @default.
- W3152821912 hasRelatedWork W170175992 @default.
- W3152821912 hasRelatedWork W18161554 @default.
- W3152821912 hasRelatedWork W1995766701 @default.
- W3152821912 hasRelatedWork W2010647095 @default.
- W3152821912 hasRelatedWork W2095473904 @default.
- W3152821912 hasRelatedWork W2188057831 @default.
- W3152821912 hasRelatedWork W2292517751 @default.
- W3152821912 hasRelatedWork W2330593560 @default.
- W3152821912 hasRelatedWork W2618089000 @default.
- W3152821912 hasRelatedWork W2770799585 @default.
- W3152821912 hasRelatedWork W2787206368 @default.
- W3152821912 hasRelatedWork W3173885982 @default.
- W3152821912 hasRelatedWork W53716578 @default.
- W3152821912 hasRelatedWork W612341061 @default.
- W3152821912 hasRelatedWork W2111571933 @default.
- W3152821912 hasRelatedWork W3021865842 @default.
- W3152821912 isParatext "false" @default.
- W3152821912 isRetracted "false" @default.
- W3152821912 magId "3152821912" @default.
- W3152821912 workType "article" @default.