The WWW Virtual Library: Formal Methods

Pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems.

WWW Virtual Library: Formal Methods - The B-Method

Virtual Library on-line directory for the B-Method, a formal method with tool support aimed at aiding the improved development of computer-based systems.

The World Wide Web Virtual Library: Formal Methods Projects

Virtual Library on-line directory of formal methods projects aimed at aiding the improved development of computer-based systems.

The World Wide Web Virtual Library: Formal Methods Companies

Virtual Library on-line directory of formal methods companies.

ProCoS archive

ProCoS - Provably Correct Systems. ... Last meeting: ProCoS Workshop, FM'99 World Congress on Formal Methods, Toulouse, France, 22 September 1999 ...

Virtual Library formal methods: CSP

An on-line archive service on CSP (Communicating Sequential Processes) maintained by Prof. Jonathan Bowen, Professor of Computing, London South Bank ...

Who's Who on the Web in Formal Methods

Virtual Library on-line directory for people active in the area of formal methods.

FM'99: Mini-Track Call for Papers

FM'99 Symposium mini-track call for papers. ... World Congress on Formal Methods. Mini-Track Call for Papers. Please refer to the Technical Symposium Call ...

FM'99: User Group Meetings and Workshops

FM'99 Symposium user group meetings. ... World Congress on Formal Methods · User Group Meetings & Workshops. The FM'99 World Congress will feature User ...

FM'99: Tools & Applications Exhibition

The Exhibition will feature some 25 commercial as well as academic tools that support the use of formal methods, company presentations, ...