117
Voted
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...