Provably Correct Systems -- FTRTFT'94 Tutorial (1994)
BibTeX
@MISC{Bowen94provablycorrect,
author = {Jonathan P. Bowen and C. A. R. Hoare and Michael R. Hansen and Anders P. Ravn and Hans Rischel and Ernst-Rüdiger Olderog and Michael Schenke and Martin Fränzle and Markus Müller-Olm and Jifeng He and Zheng Jianping},
title = {Provably Correct Systems -- FTRTFT'94 Tutorial},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ProCoS aims to improve dependability, reduce timescales and cut development costs of construction for embedded systems, particularly in real-time and safety-critical applications. It uses and develops the results of basic research into fundamental properties of interactive systems. It aims to provide a scientific basis for future standards of practice in the development of embedded systems, ensuring correctness of all stages in the development, from elicitation and analysis of requirements through design and implementation of programs down to compilation and execution on verified hardware.
