Skip to main content
Conference ProceedingsOPEN ACCESS

A case study on the formal development of a reactor safety system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1996) 1051 18-38
DOI: 10.1007/3-540-60973-3_78
1Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

The EvalFM project was initiated in order to investigate the applicability of formal methods in the development of safety-critical software-based systems. The overall goal was to explore the strengths and limitations of these methods through practical experience on a realistic example. The present paper presents the main results from the project, related to a case study on the applicability of algebraic specification in the development of a reactor safety system.

Cite

CITATION STYLE

APA

Sivertsen, T. (1996). A case study on the formal development of a reactor safety system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1051, pp. 18–38). Springer Verlag. https://doi.org/10.1007/3-540-60973-3_78

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free