Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / kind_fmcad08 / large / readme-large.txt @ 22fe1c93

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.