Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/4152

Title: The use of formal methods in parallel operating systems
Authors: Keane, John A.
Hussak, Walter
Issue Date: 1992
Publisher: © IEEE
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
Abstract: 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
Description: 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.
Version: Published
DOI: 10.1109/CMPSAC.1992.217560
URI: https://dspace.lboro.ac.uk/2134/4152
ISBN: 0818630000
Appears in Collections:Conference Papers and Presentations (Computer Science)

Files associated with this item:

File Description SizeFormat
Hussak_The_use_of_formal_methods.pdf558.8 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.