Hussak_The_use_of_formal_methods.pdf (558.8 kB)

The use of formal methods in parallel operating systems

Download (558.8 kB)
conference contribution
posted on 02.02.2009, 14:40 by John A. Keane, Walter Hussak
The authors report on the use of formal methods for the development of parallel operating systems for two experimental declarative systems over a five-year period. A common specification approach has evolved as part of the development of these two very different systems: one being for a parallel graph reduction machine and written in a functional language enhanced with state-based objects, the other was written in C++. A brief overview of each system is given before concentrating on the use of formal methods. A description is given of how both a technique for formally specifying sequential systems (VDM) and a technique for specifying concurrent systems (temporal logic) have been used together. In both cases, the issue of verification is addressed

History

School

  • Science

Department

  • Computer Science

Citation

KEANE, J.A. and HUSSAK, W., 1992. The use of formal methods in parallel operating systems. IN: Proceedings, IEEE 16th Annual International Computer Software and Applications Conference. COMPSAC '92, Chicago, IL, USA, 21-25 September 1992, pp. 245-250

Publisher

© IEEE

Version

VoR (Version of Record)

Publication date

1992

Notes

This is a conference paper [© IEEE]. It is also available from: http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=438. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

ISBN

0818630000

Language

en

Exports

Logo branding

Keywords

Exports