MIME-Version: 1.0 Server: CERN/3.0 Date: Wednesday, 08-Jan-97 16:30:09 GMT Content-Type: text/html Content-Length: 25828 Last-Modified: Wednesday, 17-Jan-96 23:03:29 GMT The World Wide Web Virtual Library: Formal Methods * Virtual Library * Computing * Software Engineering

Formal Methods

Please mail J.P.Bowen@reading.ac.uk if you know of relevant on-line information not included here or would like to maintain information on a particular topic. Use the comp.specification newsgroup, or the newer comp.specification.misc newsgroup, for general formal methods queries.

__________

This document contains some pointers to information on Formal Methods available around the world on the World Wide Web (WWW), a global hypermedia system providing worldwide information. Links for accessing on-line information in the following categories are available:

! indicates new entries. * indicates a (subjectively!) recommended link for especially good on-line information. If enough people email me, I will add a star to entries recommended by others.

* Latest news: This space will be used to indicate selected new entries and developments in the formal methods pages.


Individual notations, methods and tools

See also:

Newsgroups

An electronic mailing list mostly concerned with educational issues relating to formal methods in computer science is available. Email formal-methods-request@cs.uidaho.edu to join/leave the list and formal-methods@cs.uidaho.edu to post to the list.

Of related interest

See also information on:


Last updated by Jonathan Bowen, ! Formal Methods Group, Dept. of Computer Science, University of Reading, 5 December 1995.
Further information for possible inclusion is welcome.

Part of the OUCL archive.