Manuel Fähndrich and K. Rustan M. Leino
Manuel Fähndrich and K. Rustan M. Leino
Manuel Fähndrich and K. Rustan M. Leino
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Experiment• Checks one of their old projects• ~20.000 lines of code• Validated ~8000 places• Found higher-level design issues• Annotation density• Fairly low− (2.6% of fields, 0.5% of parameters)• Shortcomings
Change language