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)

Project Activity

See All Activity >

Categories

Data Formats, Compilers, QA Automation, Design, Scientific/Engineering

License

Public Domain

Follow The Verified Software Repository

The Verified Software Repository Web Site

You Might Also Like
Email and SMS Marketing Software Icon
Email and SMS Marketing Software

Boost Sales. Grow Audiences. Reduce Workloads.

Our intuitive email marketing software to help you save time and build lasting relationships with your subscribers.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Filter Reviews:
★★★★★

There are no 5 star reviews.

Additional Project Details

Intended Audience

Science/Research, Education, Developers

User Interface

Web-based

Programming Language

C#, Ada, Java

Related Categories

C# Data Formats Software, C# Compilers, C# QA Automation Software, C# Design Software, C# Scientific Engineering, Ada Data Formats Software, Ada Compilers, Ada QA Automation Software, Ada Design Software, Ada Scientific Engineering, Java Data Formats Software, Java Compilers, Java QA Automation Software, Java Design Software, Java Scientific Engineering

Registered

2006-08-05
Report inappropriate content