• DocumentCode
    3245562
  • 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
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    171
  • Lastpage
    180
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Systems, 13th Euromicro Conference on, 2001.
  • Conference_Location
    Delft
  • Print_ISBN
    0-7695-1221-6
  • Type

    conf

  • DOI
    10.1109/EMRTS.2001.934025
  • Filename
    934025
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3245562