| 1 |
0cbf0839
|
ploc
|
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.
|