Verified Code Repository

Sep 29, 2009 at 1:55 PM


during discussions about how to best build a community around VCC, we had the idea of starting a verified code repository as a sister project on codeplex. The idea would be that people could use such a repository to publish verified algorithms and data structures to be re-used by others.

Is there interest in contributing to such a repository?

Which license would be suitable for people to both contribute freely and have wide use for the contributed code?

Other thoughts?

Nov 4, 2009 at 3:08 PM

Great idea, not only verified code but benchmarks for verification tools that can be proven with VCC & Co. (Boogie, Z3, etc) would be very interesting. At our department we are developing related tools for our research and a verified code repository would be a great starting and destination point.

Jan 21, 2010 at 1:39 PM

There is already a Verified Software Repository at