TACAS
2014
Springer
8 years 8 months ago
2014
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region, in which nothing “bad” happens. Equival...