|
|
|
High Integrity Language Technology
ACM SIGAda’s Annual International Conference
| Invited Speakers | ||
Michael Whalen Up and Out: Scaling Formal Analysis Using Model-Based Development and Architecture Modeling Wednesday, November 13, 2:00-3:30pm (Abstract) University of Minnesota |
||
Keynote Presentations |
Edmund M. Clarke (CMU BioSketch; Wikipedia BioSketch) Model Checking and the Curse of Dimensionality Monday, November 12, 9:00-10:30am Carnegie Mellon University 2007 ACM Turing Award |
Jeannette Wing (Microsoft Research BioSketch; Wikipedia BioSketch) Formal Methods: An Industrial Perspective Thursday, November 14, 9:00-10:30am (Abstract) Microsoft Research |
John Goodenough (CMU/SEI BioSketch) Building Confidence in System Behavior Wednesday, November 13, 2:00-3:30pm (Abstract) Carnegie Mellon University Software Engineering Institute |