Figure - available from: International Journal on Software Tools for Technology Transfer
This content is subject to copyright. Terms and conditions apply.
Source publication
When the simulation of a system, or the verification of its model, needs to be resumed in an online context, we face the problem that a particular starting state needs to be reached or constructed, from which the process is then continued. For timed automata, especially the construction of a desired clock state, represented as a difference bound ma...