Title :
A new approach to the specification and verification of real-time systems
Author :
Logothetis, G. ; Schneider, K.
Author_Institution :
Inst. for Comput. Design & Fault Tolerance, Karlsruhe Univ., Germany
Abstract :
We present a new temporal logic for the specification and verification of real-time systems. This logic is defined on discrete time transition systems which are interpreted in an abstract manner instead of the usual stuttering interpretation. Our approach directly allows the abstraction of real-time systems by ignoring irrelevant qualitative properties, but without loosing any quantitative information
Keywords :
formal specification; formal verification; real-time systems; temporal logic; discrete time transition systems; qualitative properties; real-time systems; specification; temporal logic; verification; Explosions; Fault tolerance; Formal verification; Logic; Real time systems;
Conference_Titel :
Real-Time Systems, 13th Euromicro Conference on, 2001.
Conference_Location :
Delft
Print_ISBN :
0-7695-1221-6
DOI :
10.1109/EMRTS.2001.934025
