40th IFIP WG 10.4 Meeting
Stenungsund, Sweden, July 4-8, 2001

Workshop on "Utilization of Formal Methods
in Dependable Systems"

  John Rushby, SRI International, Menlo Park, CA, USA
  Neeraj Suri, Chalmers University of Technology, Göteborg, Sweden


 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