School of Computing Science

Projects

FME Inf Res - Formal Methods Europe Information Resources

To allay the apprehensions of organisations considering using formal methods, possibly for the first time, by providing them with information based on experience to date which will help in their decisions processes and strategy formation. This will be done by setting up information resources about formal methods and make them available via the World Wide Web, specifically information on tools, existing applications, bibliographies, frequently asked questions, and to publish a newsletter and other information via leaflets and conference presentations.