vtran5 / ADS21_ASML Public

This is the group assignment for Architecture of Distributed Systems course

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 46 Commits
properties		properties
ASML.mcrl2proj		ASML.mcrl2proj
ASML_spec.lps		ASML_spec.lps
ASML_spec.lts		ASML_spec.lts
ASML_spec.mcrl2		ASML_spec.mcrl2
ASML_spec_map.lps		ASML_spec_map.lps
ASML_spec_map.lts		ASML_spec_map.lts
BrokenSluice1NotUsed.txt		BrokenSluice1NotUsed.txt
BrokenSluice2NotUsed.txt		BrokenSluice2NotUsed.txt
BrokenSluiceEventuallyFixed.txt		BrokenSluiceEventuallyFixed.txt
DeadLockFree.txt		DeadLockFree.txt
DoorsNotOpen.txt		DoorsNotOpen.txt
DoubleWafersIPU.txt		DoubleWafersIPU.txt
DoubleWafersInWaitRack.txt		DoubleWafersInWaitRack.txt
DoubleWafersOutWaitRack.txt		DoubleWafersOutWaitRack.txt
DoubleWafersSluice1.txt		DoubleWafersSluice1.txt
DoubleWafersSluice2.txt		DoubleWafersSluice2.txt
InsideNotOpenWithoutVacuum.txt		InsideNotOpenWithoutVacuum.txt
InsideOpenRobot2.txt		InsideOpenRobot2.txt
NoMoreOutThanIn.txt		NoMoreOutThanIn.txt
NoMoreThanThree.txt		NoMoreThanThree.txt
NoVacuumDoorsOpen.txt		NoVacuumDoorsOpen.txt
NonTrivialRobot1.txt		NonTrivialRobot1.txt
NonTrivialRobot2.txt		NonTrivialRobot2.txt
NonTrivialRobot3IPU.txt		NonTrivialRobot3IPU.txt
NonTrivialSluices.txt		NonTrivialSluices.txt
OutsideNotOpenWithVacuum.txt		OutsideNotOpenWithVacuum.txt
OutsideOpenRobot1.txt		OutsideOpenRobot1.txt
README.md		README.md
Robot3NoIPUOn.txt		Robot3NoIPUOn.txt