Empirical study towards a leading indicator for cost of formal software verification
ICSE, pp. 722-732, 2015.
Formal verification can provide the highest degree of software assurance. Demand for it is growing, but there are still few projects that have successfully applied it to sizeable, real-world systems. This lack of experience makes it hard to predict the size, effort and duration of verification projects. In this paper, we aim to better und...More
Full Text (Upload PDF)
PPT (Upload PPT)