In this paper, the authors present a tool based on a combination of symbolic execution and real-time model checking for timing analysis of Java systems. Symbolic execution is used for the generation ...
Parametric timed automata (PTA) extend the classical framework of timed automata by substituting fixed timing constants with parameters, thereby offering a flexible means to model systems whose timing ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback