CChronos
AuthorIn development
Timed opacity and timing leaks
Software
Contributor
IMITATOR is a software to synthesize timing parameters for concurrent timed systems modeled using extensions of parametric timed automata.
IMITATOR was used in several industrial collaborations on hardware verification, and schedulability analysis under uncertainty.
Parametric timed verification