The project partners were:
- University of Cambridge Computer Laboratory
- Cambridge SRI
- Inmos (now SGS-Thomson Microelectronics Ltd)
- Oxford University Computing Laboratory
The project liaised extensively with the European ESPRIT ProCoS project since both projects had similar goals and a common partner in the Oxford University Computing Laboratory. C.A.R. Hoare↑ and Jonathan Bowen were joint principal investigators at Oxford.
An overview paper on the work of the project is also available online:
Jonathan Bowen, He Jifeng, Roger Hale and John Herbert, Towards Verified Systems: The SAFEMOS Project. In C. Mitchell and V. Stavridou (eds.), The Mathematics of Dependable Systems, Oxford University Press, The Institute of Mathematics and its Applications Conference Series, volume 55, pages 23–48, 1995.
Jonathan Bowen subsequently worked on a continuation project investigating Provably Correct Hardware/Software Co-design that started immediately after the end of the safemos project. This is still closely connected with ProCoS, including an associated Working Group, as well as the Hardware Compilation Group at OUCL.
For further information, please contact Jonathan Bowen.