[comp.specification] Formal Reasoning System

ian@cs.man.ac.uk (Ian Cottam) (06/27/91)

	Mural -- a formal development support system

Some of you out there may have noticed a new book* in the shops, with
the above title, that describes the proof assistant that we at Manchester
University (MU) and the Rutherford Appleton Laboratories (RAL) developed
and use.

To celebrate the publication, we would like to offer the system, under
licence, to any *academic* institution that wants it for a small
handling charge (approx. 100 pounds sterling).

The system is a generic reasoning environment, but so far the only
specification support tool instantiated is one for VDM.

Mural is a large Smalltalk-80 application. You will need something like
a SUN workstation with at least 16Meg of memory.
In theory, it should run on any Smalltalk-80 platform (e.g. Apple Mac) but
we have only tried SUN 3s and SUN 4s.

For further information, contact Richard Moore (richard@cs.man.ac.uk)
or me (ian@cs.man.ac.uk) or Brian Ritchie at RAL (br@inf.rl.ac.uk).
Academic distribution is being carried out by RAL, so please contact
Brian Ritchie for the actual licence and details of physically getting a tape.

(Commerial use of Mural is not permitted under the academic licence, a
separate licence is available to anyone wishing to use it for such purposes.)
Manchester offers training and consultancy support for Mural.

* "Mural -- a formal development support system", C.B.Jones, K.D.Jones,
   P.A.Lindsay, R.Moore, Springer-Verlag London, 1991.

--
Ian Cottam, Room IT209, Department of Computer Science,
University of Manchester, Oxford Road, Manchester, M13 9PL, U.K.
Tel: (+44) 61-275 6157         FAX: (+44) 61-275-6236
Internet: ian%cs.man.ac.uk;  JANET: ian@uk.ac.man.cs