Uppaal2k
From MaRDI portal
Cited in
(51)- Compositional schedulability analysis of real-time actor-based systems
- Schedulability of asynchronous real-time concurrent objects
- But what if I don't want to wait forever?
- False loop detection in the IEEE 1394 tree identify phase
- IEEE 1394 tree identify protocol: Introduction to the case study
- Memory arbiter synthesis and verification for a radar memory interface card
- Automated Technology for Verification and Analysis
- Computer Aided Verification
- Advances in verification of time Petri nets and timed automata. A temporal logic approach.
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- Linear parametric model checking of timed automata
- scientific article; zbMATH DE number 2090709 (Why is no real title available?)
- TCTL inevitability analysis of dense-time systems
- SAT-based unbounded model checking of timed automata
- Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
- Performance analysis of probabilistic timed automata using digital clocks
- Analyzing real-time systems: Theory and tools
- Almost ASAP semantics: from timed models to timed implementations
- Kronos
- Rabbit
- TAXYS
- TREX
- DiVer
- VerICS
- E-LOTOS
- MOTOR
- SHARPE
- HyTech
- Uppaal
- Sumatra
- Viptos
- UPPAAL CORA
- Verifying the IEEE 1394 fireWire tree identify protocol with SMV
- When are timed automata weakly timed bisimilar to time Petri nets?
- scientific article; zbMATH DE number 1953031 (Why is no real title available?)
- Design and Verification of Fault-Tolerant Components
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
- Runtime monitoring of contract regulated web services
- Slicing of timed automata with discrete data
- Analysis of scheduling behaviour using generic timed automata
- Symbolic model checking for probabilistic timed automata
- Correct Hardware Design and Verification Methods
- A tool for the syntactic detection of Zeno-timelocks in timed automata
- Numerical coverage estimation for the symbolic simulation of real-time systems
- scientific article; zbMATH DE number 5499354 (Why is no real title available?)
- scientific article; zbMATH DE number 2090703 (Why is no real title available?)
- A timed verification of the IEEE 1394 Leader election protocol
- A survey of formal methods applied to leader election in IEEE 1394
- Modelling and analysis of hybrid supervisory systems. A Petri net approach.
This page was built for software: Uppaal2k
