[X] The "/OldFiles" file could not be found or is not available. Please select another file.

Share

More
The Verified Software Repository Icon

The Verified Software Repository

planning

by jpbowen, juanbicarregui, leouk


The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)


http://vsr.sourceforge.net





Separate each tag with a space.

Topic:

License:

Intended Audience:

User Interface:

Programming Language:

Registered:

2006-08-05

Ratings and Reviews

Be the first to post a text review of The Verified Software Repository. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

The Verified Software Repository Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks