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.
The RAISE toolset is available from Terma A/S in Denmark.
An FAQ (Frequently Asked Questions) file for RAISE is available, as is a bibliography.
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.
If you have any suggestions for other material to put on these pages, please mail Jan Storbank Pedersen.Last updated: 19th March 2013.