RAISE - Rigorous Approach to Industrial Software Engineering

Welcome to the RAISE home page!

The RAISE formal method consists of the RAISE development method and RSL, the RAISE Specification Language. It has been used on the LaCoS project, which was
funded under the ESPRIT II programme, as well as on other industrial and research projects.

An FAQ (Frequently Asked Questions) file for RAISE is available, as is a bibliography.

Other formal methods resources

The home page of Formal Methods Europe is an excellent starting point for finding information about formal methods.

The Wikipedia entry on formal methods provides a general description of the subject and pointers to resources for almost every other formal method. This includes Z and VDM, perhaps the two
most popular formal methods in current use; you can read about the differences between RSL and Z, and between RSL and VDM, in the FAQ.

The newsgroup comp.specification.misc is also a useful source of information.