Empirical study towards a leading indicator for cost of formal software verification

ICSE, pp. 722-732, 2015.

Cited by: 20|Bibtex|Views68
EI
Other Links: academic.microsoft.com|dblp.uni-trier.de|dl.acm.org

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments