Workshop on "Utilization
of Formal Methods
in Dependable Systems"
|
Coordinators:
|
John Rushby, SRI International, Menlo Park,
CA, USA Neeraj Suri, Chalmers University of Technology, Göteborg, Sweden |
Overview
| From Basics to the State of the Art | |
| Formal Methods Meet Stochastics | |
| Practical Applications |
First Day of Workshop -- Thursday, July 5
Session 1 -- From Basics to
the
State of the Art
Moderator: Neeraj Suri
John Rushby
Formal
Methods: Tutorial and Demonstration
Susanne Graf, Verimag, Gières, France
IF:
A Validation Environment for Real-time Systems
Session 2 -- Formal
Methods Meet Stochastics
Moderator: John Meyer, The University of Michigan, Ann Arbor,
USA
Ed Brinksma, University of Twente, Enschede, The Netherlands
Stochastic
Process Algebras: Linking Descriptions with Performances
William H. Sanders, University of Illinois, Urbana Champaign, IL,
USA
Möbius:
A Framework for Multi-formalism, Multi-solution Modeling
Second Day of Workshop -- Saturday, July 7
Session 3 -- Practical
Applications
Moderator: John Rushby
Patrick Cousot, Ecole Normale Supérieure, Paris, France
Abstract
Interpretation and Static Analysis
Jacob A. Abraham, University of Texas, Austin, TX, USA
Hardware
Verification
Workshop Wrap-up
John Rushby