"formal" Methods Forum Meeting: Friday, 28 January 2000

Topic: Introduction to Formal Verification

Attendance List:
Ian Holyer
Gordon Hughes
Neil Davies
Silke Kuball
Kerstin Eder
Laura Lafave
Peter Flach
John May
John Gallagher
John Napier
James Edwards

Announcements

• The PVS theorem prover is now available (/usr/local/pvs).
• Julio Gallardo is currently working for the SSRC as research student. He is investigating the use
  of the software testing tool "Cantata" for the support of structure-based statistical software testing.

• The next formal methods seminar will be held on 18 February 2000. The speaker will be Jeremy Bradley.