>> [CS656/556 Course Materials]
Wed Mar 12 15:01:38 PST 2003
No assigned work due in.
Mon Mar 17
Symbolic Manipulation with Ordered Binary Decision Diagrams
Randal E Bryant
ACM Comp Surveys V24 n3 Sep 1992
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)
Software Verification at Bell Labs: One Line of Development
Gerard J Holzmann
Bell Labs Tech J Jan/Mar 2000
Mapping SDL Semantics to UML
Brian Selic, Jim Rumbaugh
Applying Formal Specifications to Real-World Software Development
Girish Keshav Palshikar
IEEE Software Nov/Dec 2001
Lab: Presentations may run on into lab time.