Productivity for proof engineering

ESEM, 2014.

Cited by: 10|Bibtex|Views67|DOI:https://doi.org/10.1145/2652524.2652551
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

Abstract:

Context: Recent projects such as L4.verified (the verification of the seL4 microkernel) have demonstrated that large-scale formal program verification is now becoming practical. Objective: We address an important but unstudied aspect of proof engineering: proof productivity. Method: We extracted size and effort data from the history of th...More

Code:

Data:

Your rating :
0

 

Tags
Comments