CEN6075 - Software Specification, Fall 2009

• Syllabus

• Homework#1

• Homework#2

• Homework#3

• Homework#4

• Homework#5

• Z Resources

• Z Reference Manual by Spivey

• Smith's Ph.D. Dissertation on Object Z

• A Z Specification of Unix File System

• Petri Nets Resources

• Informal Introduction to Petri Nets by Prof. Reisig at PN2005

• Place Transition Nets by Prof. Reisig at PN2005

• Colored Petri Nets by Prof. Jensen at PN2005

• An Algorithm to Build Coverability Trees