COMP-204 : Software Design and Implementation : Fall '97 David Stotts : UNC-Chapel Hill

 

• Petri-Net Implementation
• Z-notation specification for the Petri-Net (.doc, .txt)
• Mid-term Exam (.doc)
• Mills' functional semantics and verification (.doc)
• Bounded-Stack ADT
• Trace Specs for the Birthday Book
• ML implementation of CTL Model Checker