Widening Benchmarks
(in no particular order)


Numerous benchmarks can be found described in fast format.

• 1978 Example Nicolas Halbwachs and Patrick Cousot
  
  
• Model Car Security Nicolas Halbwachs
  
  
• Leaking Gaz Burner Nicolas Halbwachs and Laure Gonnord (VMCAI'07)
  
  
• Subway Speed Regulation System Nicolas Halbwachs and Y. E. Proy and P. Roumanoff (FMSD, 11(2):157-185, Aug. 1997)