Uppaal2k
From MaRDI portal
Software:14301
No author found.
Related Items (37)
Unnamed Item ⋮ Symbolic model checking for probabilistic timed automata ⋮ Unnamed Item ⋮ Verifying distributed real-time properties of embedded systems via graph transformations and model checking ⋮ Performance analysis of probabilistic timed automata using digital clocks ⋮ Unnamed Item ⋮ Schedulability of asynchronous real-time concurrent objects ⋮ Modelling and analysis of hybrid supervisory systems. A Petri net approach. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ IEEE 1394 tree identify protocol: Introduction to the case study ⋮ Verifying the IEEE 1394 fireWire tree identify protocol with SMV ⋮ But what if I don't want to wait forever? ⋮ Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol ⋮ False loop detection in the IEEE 1394 tree identify phase ⋮ Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol ⋮ Unnamed Item ⋮ Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ⋮ When are timed automata weakly timed bisimilar to time Petri nets? ⋮ TCTL Inevitability Analysis of Dense-Time Systems ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ Automated Technology for Verification and Analysis ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Correct Hardware Design and Verification Methods ⋮ Advances in verification of time Petri nets and timed automata. A temporal logic approach. ⋮ A timed verification of the IEEE 1394 Leader election protocol ⋮ Design and Verification of Fault-Tolerant Components ⋮ AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA ⋮ Formal Techniques for Networked and Distributed Systems - FORTE 2003 ⋮ Computer Aided Verification ⋮ Unnamed Item ⋮ Almost ASAP semantics: from timed models to timed implementations ⋮ Linear parametric model checking of timed automata
This page was built for software: Uppaal2k
