|
1
|
Sources for benchmarks:
|
|
2
|
|
|
3
|
ccp*, cruise_controller*, microwave*: Based on problems provided by
|
|
4
|
Rockwell Collins
|
|
5
|
|
|
6
|
steam_boiler*: Based on problems from
|
|
7
|
Thierry Cattel and Gregory Duval. "The Steam-Boiler Problem in Lustre."
|
|
8
|
Formal Methods for Industrial Applications. Springer-Verlag, 1996.
|
|
9
|
pp 149-164.
|
|
10
|
|
|
11
|
|
|
12
|
Please note that many of these benchmarks contain deliberately introduced
|
|
13
|
modifications to alter their behaviors, and do not necessarily reflect the
|
|
14
|
original creator's design intentions.
|