Timing verification by successive approximation
From MaRDI portal
Publication:1891141
DOI10.1006/inco.1995.1059zbMath0939.68705OpenAlexW1830600668MaRDI QIDQ1891141
Rajeev Alur, Mihalis Yannakakis, Alon Itai, Robert Kurshan
Publication date: 4 July 2000
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1059
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
Counterexample-guided predicate abstraction of hybrid systems ⋮ An iterative approach to verification of real-time systems ⋮ Transfer of Model Checking to Industrial Practice ⋮ Performance analysis of probabilistic timed automata using digital clocks ⋮ Refinement preserving approximations for the design and verification of heterogeneous systems ⋮ Fast timing-based algorithms ⋮ Solving games via three-valued abstraction refinement ⋮ A real-time interval logic and its decision procedure ⋮ Event-clock automata: a determinizable class of timed automata ⋮ An Inverse Method for Parametric Timed Automata ⋮ Verification of Asynchronous Circuits using Timed Automata
This page was built for publication: Timing verification by successive approximation
