Tutorial: Designing Distributed Software In Mcrl2 - Verifying Dekker's And Peterson's Algorithms

2022 21:52
Synopsis
Distributed software is very tricky to implement correctly as some errors only occur in peculiar situations. For such errors testing is ...

You Might Also Like

Tutorial: Designing Distributed Software in mCRL2 - Creating Behavioural Models of Parallel Software 20:04
Tutorial: Designing Distributed Software In Mcrl2 - Creating...
2022
Tutorial: Designing Distributed Software in mCRL2 - Specifying Requirements using Modal Formulas 20:50
Tutorial: Designing Distributed Software In Mcrl2 - Specifyi...
2022
Process Synchronization: Dekker's algorithm 2:10
Process Synchronization: Dekker's Algorithm
2022
COMPUTER ARCHITECTURE || 05 L17S5 Dekkers Algorithm 14 13 14:14
Computer Architecture || 05 L17s5 Dekkers Algorithm 14 13
2021
XACML2mCRL2 7:46
Xacml2mcrl2
2023
Connecting mCRL2 and Dezyne 34:09
Connecting Mcrl2 And Dezyne
2020
ML4MD 2025 - Karsten Reuter 43:55
Ml4md 2025 - Karsten Reuter
2026
EDAN26 F05 / 3: Dekker's algorithm (level 3) 5:54
Edan26 F05 / 3: Dekker's Algorithm (level 3)
2022
Basic modeling with mCRL2 22:11
Basic Modeling With Mcrl2
2019
FORTE 2021 - A Formalisation of SysML State Machines in mCRL2 14:50
Forte 2021 - A Formalisation Of Sysml State Machines In Mcrl...
2022
Dekker 4 version 2:49
Dekker 4 Version
2019
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.