lustrec / test / src / kind_fmcad08 / large / readme-large.txt @ 0cbf0839
History | View | Annotate | Download (501 Bytes)
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. |