Formal Methods Related Sites

  • Bell Laboratories
  • Carnegie Mellon University
  • NASA Langley
  • SRI International Computer Science Laboratory
  • IEEE Symposium on Logic in Computer Science
  • Formal Methods - Swedish hub
  • formalWARE
  • Formal Methods Educational Materials

    • Departments

  • Cornell Formal Methods, USA
  • Imperial College Theory and Formal Methods, Great Britain
  • Manchester University Formal Methods Group, Great Britain
  • Technical University of München, Germany
  • Spectre - Verimag, France
  • INRIA - VASY (VAlidation of SYstems), France

    • Complete Books and Journals

  • An Introduction to the Theory of Computation, Eitan Gurari, Ohio State University, 1989
  • Design and Validation of Computer Protocols, Gerard J. Holzmann, 1991
  • Warren's Abstract Machine: A Tutorial Reconstruction, Hassan Ait-Kaci, Simon Fraser University, Canada, 1991
  • Using Z, Specification, Refinement and Proof, Jim Davies, Jim Woodcock, Prentice Hall, 1996
  • Journal of Universal Computer Science, Springer
  • Electronic Journal on Network and Distributed Processing, TCS (French)

    • People

  • Leslie Lamport
  • Amir Pnuelli

    • Other collections

  • The World-Wide Web Virtual Library on Formal Methods, Oxford
  • Tomás Uribe's collection, Stanford.
  • Dara Gallagher's collection on Formal Methods in Ireland, Trinity College, Dublin.

    • Different formalisms and tools

  • Abstract State Machines
  • SDL - Standard Description Language
  • SDL Forum Society
  • Spin
  • Message Sequence Charts (MSC)
  • Isabelle
  • The Stanford Temporal Prover (STeP)
  • TLA - Temporal Logic of Actions
  • The Z notation
  • VDM

    • Swedish toolproviders and other related companies

  • Prover Technology
  • Telelogic

    • Various articles/reports on formalisation from industry

  • Sucessful stories from Verilog (SDL tool provider)
  • Programming is responsible in Swedish, from Computer Sweden 14-02-1997.
  • The Formal Methods Europe applications database 
    Last updated 2000-05-28
Johan Blom