timed-automata topic
List
timed-automata repositories
munta
15
Stars
2
Forks
Watchers
Fully verified model checker for realtime systems
imitator
26
Stars
12
Forks
Watchers
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
tchecker
19
Stars
16
Forks
Watchers
TChecker is an open-source verification tool for timed automata