Sciweavers

Share
FAC
2006

The verified software repository: a step towards the verifying compiler

8 years 7 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will be accompanied by a substantial reduction in the current high costs of programming error, incurred during the design, development, testing, installation, maintenance, evolution, and retirement of computer software. An important technical contribution to this vision will be a Verifying Compiler: a tool that automatically proves that a program will always meet its requirements, insofar as these have been formalised, without even needing to run it. This has been a challenge for computing research for over thirty years, but the current state of the art now gives grounds for hope that it may be implemented in the foreseeable future. Achievement of the overall vision will depend also on continued progress of research into dependability and software evolution, as envisaged by the UKCRC Grand Challenge project in Dep...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where FAC
Authors Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
Comments (0)
books