PAT Model Checking Appliacation for NUS School of Computing Timetable Arrangement

A Model Checking Application based on PAT (Process Analysis Toolkit) for TimeSlot Arrangment in School of Computing NUS

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
.DS_Store		.DS_Store
Module.cs		Module.cs
Module.dll		Module.dll
Module_List.cs		Module_List.cs
Module_List.dll		Module_List.dll
P.dll		P.dll
PAT.Lib.Example.dll		PAT.Lib.Example.dll
PAT.List.dll		PAT.List.dll
README.md		README.md
SOCAllocation.csp		SOCAllocation.csp
TA.cs		TA.cs
TA.dll		TA.dll
testModule.csp		testModule.csp
testModuleYS.csp		testModuleYS.csp

Provide feedback