Abstract: The paper is a continuation of the former works dealing with the correctness verification of real-time systems (Simuc, 1986, 1988, 1989, 1991). 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.
Publication Year: 1992
Publication Date: 1992-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot