GitHub - Amithabh-A/Model-Checking: TlaPlus files used in Model Checking course

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
DieHard.toolbox		DieHard.toolbox
Light.toolbox		Light.toolbox
SequentialCircuit.toolbox		SequentialCircuit.toolbox
SimpleProgram.toolbox		SimpleProgram.toolbox
ThreeProgramAsynchronous.toolbox		ThreeProgramAsynchronous.toolbox
hello.toolbox		hello.toolbox
peterson.toolbox		peterson.toolbox
petersonWeakFairness.toolbox		petersonWeakFairness.toolbox
railgate.toolbox		railgate.toolbox
sample.toolbox		sample.toolbox
semaphore.toolbox		semaphore.toolbox
trafficLight.toolbox		trafficLight.toolbox
DieHard.tla		DieHard.tla
Light.tla		Light.tla
SequentialCircuit.tla		SequentialCircuit.tla
SimpleProgram.tla		SimpleProgram.tla
ThreeProgramAsynchronous.tla		ThreeProgramAsynchronous.tla
hello.tla		hello.tla
notes.norg		notes.norg
peterson.tla		peterson.tla
petersonWeakFairnessNew.tla		petersonWeakFairnessNew.tla
peterson_incorrect_variant.tla		peterson_incorrect_variant.tla
railgate.tla		railgate.tla
sample.tla		sample.tla
semaphore.tla		semaphore.tla
trafficLight.tla		trafficLight.tla