Timed-Automata-Based Verification of MITL over Signals

Unknown English OPEN
Brihaye, Thomas; Geeraerts, Gilles; Ho, Hsi-Ming; Monmege, Benjamin;
(2017)
  • Publisher: LIPIcs - Leibniz International Proceedings in Informatics. 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
  • Subject: Data processing Computer science | real-time temporal logic, timed automata, real-time systems
    • ddc: ddc:004
    arxiv: Computer Science::Formal Languages and Automata Theory | Computer Science::Logic in Computer Science

It has been argued that the most suitable semantic model for real-time formalisms is the non-negative real line (signals), i.e. the continuous semantics, which naturally captures the continuous evolution of system states. Existing tools like UPPAAL are, however, based o... View more
Share - Bookmark