FMCAD
2009
Springer
14 years 9 months ago
2009
Springer
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...