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