Developing Correct Systems
- 1 January 1993
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10683070,p. 176-187
- https://doi.org/10.1109/emwrt.1993.639088
Abstract
The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical basis for development of embedded, real-time, computer systems. This survey paper introduces novel specication languages and verication techniques for four levels of development: Requirements denition and design; Program specications and their transformation to parallel programs; Compilation of programs to hardware; and Compilation of real-time programs to conventional processors.Keywords
This publication has 22 references indexed in Scilit:
- Towards a provably correct hardware implementation of occamPublished by Springer Nature ,2005
- Mathematical methods for digital systems developmentPublished by Springer Nature ,2005
- An overview of Duration CalculusJournal of Computer Science and Technology, 1998
- Normal form approach to compiler designActa Informatica, 1993
- Specifying and verifying requirements of real-time systemsIEEE Transactions on Software Engineering, 1993
- Time interval semantics and implementation of a real-time programming languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Specification Of Embedded, Real-time SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Specification and stepwise development of communicating systemsPublished by Springer Nature ,1991
- An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming LanguagePublished by Springer Nature ,1990
- The laws of OCCAM programmingTheoretical Computer Science, 1988