Overview, Jeannette Wing
(.ppt version)Verifying Bus Protocols for Embedded Systems, Ed Clarke
(.ppt version)Model Checking Publish-Subscribe Software Architectures, David Garlan
(.ppt version)Model Checking for Hybrid Systems, Bruce Krogh
(.ppt version)Scenario Graph Generation and MDP-Based Analysis, Jeannette Wing
(.ppt version)
Probabilistic Verification of Discrete Event Systems, Reid SimmonsARO Meeting, May 1-2, 2003
High-Confidence Embedded Systems (Overview), Bruce Krogh
Generation of Scenario Graphs Using Model Checking, Oleg Sheyner
Model Checking for Embedded Systems, Edmund Clarke
Model Checking Publish-Subscribe Systems, David Garlan
Reasoning About Exceptions Using Model Checking, Reid Simmons