Presentation3(ppt)
Test Plan 2.0 Formal Verification 2.0 Test Results User Manual 1.0 Project Evaluation Source Code Doc Source Code
Time Log
Presentation 2 - ppt
Vision Document 2.0 Project Plan 2.0 Algorithm Design Formal Verification Promela Code Test Plan
Time log
Presentation 1- ppt Vision Document Toolkit Description Project plan SQA Plan
Major Professor: Dr. Virg Wallentine
Committee Members: Dr. Gurdip Singh, Dr. John Hatcliff
Developer: Hadassa Baker