Some practitioners in industry and researchers from universities believe its now practical to use formal methods to produce software, even non-critical software, and that this will turn out to be the cheapest way to do it. Given the right computer-based tools, the use of formal methods could become widespread and transform the practice of software engineering. The computer science community recently committed itself to making this a reality within the next fifteen to twenty years. Collectively, we have a lot of experience in the successful use of formal methods in industry, and this is being strengthened by a new wave of tools shielding users from deep technical issues. The time is now right for a concerted push at software verification, and considerable activity is already under way in the Verified Software Grand Challenge and its pilot projects. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Woodcock, J. (2006). Verified software grand challenge. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4085 LNCS, p. 617). Springer Verlag. https://doi.org/10.1007/11813040_45
Mendeley helps you to discover research relevant for your work.