Quantitative verification: models, techniques and tools

Automated verification is a technique for establishing if cer- tain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-level formalism or extracted directly from software using meth- ods such as abstract interpretation. The verification pro- ceeds through exhaustive exploration ...更多