Formal Methods

Duration Calculus

• Publications
• Meetings and courses
• Centers of excellence
• Tool support
• Projects

Items marked are recently added. Items marked are especially recommended.

Publications

• A book Specification Case Studies in RAISE has been published by Springer-Verlag in the FACIT series. The book has its own web-site from which complete specifications of all the case studies are available. The book is now out of print but is available by ftp.

• The RAISE Bibliography, searchable BibTeX bibliography available from the excellent Collection of Computer Science Bibliographies.

• Another (older) RAISE Bibliography by Anne Haxthausen and Jan Storbank Pedersen.

• The following books by the RAISE group have been published in the Prentice Hall, BCS Practitioner Series. They are currently out of print but the first can be bought from Terma and the second is available by ftp:
  • The RAISE Specification Language, 1992. ISBN 0-13-752833-7.
  • The RAISE Development Method, 1995. ISBN 0-13-752700-4.

• RAISE FAQ (Frequently Asked Questions).

• Mainly RAISE publications by Chris George et al.

Meetings and courses

• Formal Specification using RAISE course from UNU-IIST. See also overview of on-line course material.

Tool support

• RAISE tools information from UNU-IIST. Free, open-source software for various platforms (Linux, Solaris, DOS, Windows). Includes type checking, pretty-printing, translation to SML, C++, and PVS. Also generation of RSL from UML class diagrams.
• Original RAISE Tools information and tool manuals.

Centers of excellence

• Terma, Denmark. Company marketing the original RAISE Tools.
• UNU-IIST, Macau. See RAISE overview.
• Informatics and Mathematical Modelling, Technical University of Denmark. See RAISE.

Projects

• ESPRIT I RAISE project (1985-1990). Rigorous Approach to Industrial Software Engineering. The original project on which RAISE was formulated.
• ESPRIT II LaCoS project (1989-1992). Large-scale Correct Systems using formal methods.
• MORSE project, UK. Method for Object Reuse in Safety-critical Environments.
• RaCoSy (1993-1996), UNU-IIST and Chinese Ministry of Railways. Railway Computing Systems.
• RAISE tools project, UNU-IIST.
• TRSL project, UNU-IIST. Timed RSL.

• The RAISE entry in the formal methods database of FME (Formal Methods Europe). This includes links to the original RAISE tools, and to descriptions of applications made using RAISE, including the Oersted Satellite On-Board Software and the PRaCoSy China Railway Computing System.
• RAISE search by Google.

Hosted by UNU-IIST, Macau.