Introduction

PreliminaryWork

Patch

MultiDet

MultiNdet

MultiSync

MultiSeq

GlobalNdet

CSPM

DiningPhilosophers

POTS

EventsProperties

DeadlockResults

Conclusion