No assigned work due in.  

Mon Mar 17
1
 Shan-Peng Song
 Symbolic Manipulation with Ordered Binary Decision Diagrams
 Randal E Bryant
 ACM Comp Surveys V24 n3 Sep 1992
 
2
 James MacDonell
 Development of Safety Critical Software Requirements verification method with combined CPN & PVS...
 Han Seong Son, Poong Hyun Seong
 Reliability Eng & Sys Safe, V80n1(Apr 2003)
 
3
 Abdul Muqtadir
 Software Verification at Bell Labs: One Line of Development
 Gerard J Holzmann
 Bell Labs Tech J Jan/Mar 2000
 
4
 HongPing Yang
 Mapping SDL Semantics to UML
 Brian Selic, Jim Rumbaugh
 Rational.com...
 
5
 Phillip Hoang
 Applying Formal Specifications to Real-World Software Development
 Girish Keshav Palshikar
 IEEE Software Nov/Dec 2001
 

Lab:  Presentations may run on into lab time.

Next:
http://www.csci.csusb.edu/dick/cs656/class/final.html