Specifications for Free
- NFM 2011
by
Andreas Zeller
NFM 2011: Proceedings of the NASA Third International Symposium on Formal Methods, Pages 2-12, Lecture Notes in Computer Science, Volume 6617, Springer, April 2011.
Digital Library via DOI: 10.1007/978-3-642-20398-5_2
Abstract
Recent advances in software validation and verification make it possible to widely automate the check whether a specification is satisfied. This progress is hampered, though, by the persistent difficulty of writing specifications. Are we facing a "specification crisis"? By mining specifications from existing systems, we can alleviate this burden, reusing and extending the knowledge of 60 years of programming, and bridging the gap between formal methods and real-world software. In this NFM 2011 invited keynote, I present the state of the art in specification mining, its challenges, and its potential, up to a vision of seamless integration of specification and programming.
BibTeX Entry
@article{zeller-nfm-2011,
title = "Specifications for Free",
author = "Andreas Zeller",
year = "2011",
month = apr,
booktitle = "NFM 2011: Proceedings of the NASA Third International Symposium on Formal Methods",
location = "Pasadena, CA",
pages = "2--12",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "6617",
doi = "10.1007/978-3-642-20398-5_2",
}