Practical Formal Development of Real-Time Systems

Abstract

The complexities of real-time systems are such that it is often thought necessary to give a formal justi-cation of their correctness, especially if they are to be used in a safety-critical environment. In this paper we describe our work on a formally based design method for real-time systems which allows the timing aspects of a concurrent system to be… (More)

Topics

1 Figure or Table

Slides referencing similar topics