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

Welcome, Guest! Log In | Create Account

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)

View all files

http://vsr.sourceforge.net





Separate each tag with a space.

Topic:

Compilers, Scientific/Engineering, Data Formats, Quality Assurance, Design

License:

Public Domain

Intended Audience:

Developers, Education, Science/Research

User Interface:

Web-based

Programming Language:

Ada, C#, Java

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

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use

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