The Verified Software Repository (VSR) is an evolving collection of tools and challenges related to software verification. It supports a community effort to develop technology to enable the mechanical certification of computer programs and ensure that the results of this collaborative research are complementary and cumulative.
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. With this aim, the Verified Software Repository is intended to accelerate the development of knowledge in the area by facilitating the uptake of research outputs into further research and software engineering practice.
The Verified Software Repository is part of the International Grand Challenge project on Verified Software (See Formal Aspects of Computing Journal, Vol 19, No 2). In the UK it is coordinated by the Grand Challenge project on Dependable Systems Evolution
Some overview papers are here:
Last updated 20 July 2009
Page maintained by Dr Juan Bicarregui