75
Voted
FMCAD
2008
Springer
15 years 3 days ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...