Web Pages related to

Support for Teaching and Learning Formal Methods

This page is intended to serve as a common area to note the location and purpose of web resources related to the working group topic.

• http://www.cs.indiana.edu/formal-methods-education/
  • A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects.
  • Grew out of the 21st Engineering Consortium Workshop, held in March 1998.
  • An official sub-collection of the World Library for Formal Methods.
  • Site includes the following:
    • Course Pages
    • Tools
    • Position Papers
    • Reading Materials
    • Instructional Materials
    • Benchmarks and Examples
    • General Formal Methods Repository
        
• http://archive.comlab.ox.ac.uk/formal-methods.html
  • The World Library for Formal Methods
      
• http://www.fme-nl.org/
  • Formal Methods Europe (FME) is a European organization supported by the Commission of the European Union (via ESSI of the ESPRIT programme), with the mission of promoting and supporting the industrial use of formal methods for computer systems development.
  • Site includes the following:
    • Applications Database: 85 applications of formal methods, indexed by method, tools used,
      application domain, organisation
    • Tools Database: 59 formal methods support tools indexed by method, some applications,
      organisation.
    • Bibliographies: indexed by method and some application domains.
    • Frequently Asked Questions (e.g. Formal Methods - what are they?; Choosing a formal method; VDM; Z; Petri Nets ...)
    • On-line Newsletter
    • National web pages
        
• http://www.cs.geneseo.edu/~baldwin/math-thinking/
  • A working group on Integrating Mathematical Reasoning into Computer Science Curricula

Change History:

• 29 May 2000: Baseline version