Search Results - D.2.4 [Software/Program Verification]: Model checking

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Estimating latency and concurrency of asynchronous real-time interactive systems using model checking by Rehfeld, Stephan, Latoschik, Marc Erich, Tramberend, Henrik

    ISSN: 2375-5334
    Published: IEEE 01.03.2016
    “…This article introduces model checking as an alternative method to estimate the latency and parallelism of asynchronous Realtime Interactive Systems (RISs…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Cover Image

    MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata by Didier, Jean-Yves, Djafri, Bachir, Klaudel, Hanna

    ISBN: 9781424419715, 1424419719
    ISSN: 1087-8270
    Published: IEEE 01.03.2008
    Published in 2008 IEEE Virtual Reality Conference (01.03.2008)
    “…: mixed reality language) along with the corresponding compilation tools. The generated output contains timed automata in UPPAAL format for simulation and verification…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: