Testing timed automata
From MaRDI portal
Publication:5940921
DOI10.1016/S0304-3975(99)00134-6zbMath0972.68104MaRDI QIDQ5940921
Frits W. Vaandrager, Jan Springintveld, Pedro R. D'Argenio
Publication date: 20 August 2001
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Control Strategies for Off-Line Testing of Timed Systems ⋮ Conformance testing for real-time systems ⋮ A General Testability Theory ⋮ Passive testing with asynchronous communications and timestamps ⋮ SetExp: a method of transformation of timed automata into finite state automata ⋮ Learning of event-recording automata ⋮ Control strategies for off-line testing of timed systems ⋮ Equivalence checking and intersection of deterministic timed finite state machines ⋮ Efficiently identifying deterministic real-time automata from labeled data ⋮ Complete model-based equivalence class testing for nondeterministic systems ⋮ Synthesis of distinguishing test cases for timed finite state machines ⋮ A menagerie of timed automata ⋮ Grid automata and supervisory control of dense real-time discrete event systems ⋮ Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts ⋮ Testing from a stochastic timed system with a fault model ⋮ Introducing complexity to formal testing ⋮ Conformance Testing Relations for Timed Systems ⋮ An integer programming approach for the Chinese postman problem with time-dependent travel time ⋮ A graph based semantics for logical functional diagrams in power plant controllers
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Liveness in timed and untimed systems
- A theory of timed automata
- Symbolic model checking for real-time systems
- Uppaal in a nutshell
- Automated verification of an audio-control protocol using UPPAAL
- Testing Software Design Modeled by Finite-State Machines
- Efficient scaling-invariant checking of timed bisimulation
