Project

General

Profile

Download (501 Bytes) Statistics
| Branch: | Tag: | Revision:
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.