Project X
Unique Feature of System
What does feature support?
Key Model
Model
Critical Properties
Promela and XSpin
Demo of Prototype
Scenario(s)
Home Page: www.cse.msu.edu/~cse470