1 research outputs found
Timed Automata Benchmark Description
This report contains the descriptions of the timed automata (models) and the
properties (specifications) that are used as the "benchmark examples in Data
structure choices for on-the-fly model checking of real-time systems" and "The
power of proofs: New algorithms for timed automata model checking." The four
models from those sources are: CSMA, FISCHER, LEADER, and GRC. Additionally we
include in this report two additional models: FDDI and PATHOS. These six models
are often used to benchmark timed automata model checker speed throughout timed
automata model checking papers