Forward analysis of updatable timed automata
From MaRDI portal
Publication:1878925
DOI10.1023/B:FORM.0000026093.21513.31zbMath1073.68041OpenAlexW1977308797MaRDI QIDQ1878925
Publication date: 9 September 2004
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:form.0000026093.21513.31
Related Items (24)
Fast zone-based algorithms for reachability in pushdown timed automata ⋮ Event Clock Automata: From Theory to Practice ⋮ Conformance testing for real-time systems ⋮ Timed substitutions for regular signal-event languages ⋮ On clock-aware LTL parameter synthesis of timed automata ⋮ Better abstractions for timed automata ⋮ LTL Parameter Synthesis of Parametric Timed Automata ⋮ Weak bisimulation for probabilistic timed automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Accelerating worst case execution time analysis of timed automata models with cyclic behaviour ⋮ Unnamed Item ⋮ Interrupt timed automata: verification and expressiveness ⋮ Efficient emptiness check for timed Büchi automata ⋮ On regions and zones for event-clock automata ⋮ When are timed automata weakly timed bisimilar to time Petri nets? ⋮ Finding minimum and maximum termination time of timed automata models with cyclic behaviour ⋮ A game approach to determinize timed automata ⋮ Well (and Better) Quasi-Ordered Transition Systems ⋮ Interrupt Timed Automata ⋮ Coarse Abstractions Make Zeno Behaviours Difficult to Detect ⋮ An Introduction to Timed Automata ⋮ Formalized Timed Automata ⋮ Checking Timed Büchi Automata Emptiness Using LU-Abstractions ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?
Uses Software
This page was built for publication: Forward analysis of updatable timed automata
