International Journal of applied mathematics and computer science

online read us now

Paper details

Number 1 - December 1991
Volume 1 - 1991

Partial and total relative correctness for analysis of real-time systems

Tomasz Szmuc

Abstract
This paper is a continuation of the former works dealing with the correctness verification of concurrent systems. The correctness in the sense of criterion (relative correctness) is a basic notion in these investigations. Two classes of the problem: partial and total relative correctness are considered. Formal tools and conception of computer support for the correctness verification are developed.

Keywords
-