Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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.