Abstract
The web page for this conference announces
a “Grand Challenge” of crucial relevance to society: ensuring that the software of the future will be error-free.
According to the Scope and Objectives
In the end, the conference should work towards the achievement of the long-standing challenge of the Verifying Compiler.
I want to question whether this long-standing challenge is really relevant to the greater goal of achieving trustworthy software. Instead, I suggest that research in verification needs to support a larger effort to improve the software engineering process.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hall, A. (2008). Software Verification and Software Engineering a Practitioner’s Perspective. In: Meyer, B., Woodcock, J. (eds) Verified Software: Theories, Tools, Experiments. VSTTE 2005. Lecture Notes in Computer Science, vol 4171. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69149-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-69149-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69147-1
Online ISBN: 978-3-540-69149-5
eBook Packages: Computer ScienceComputer Science (R0)