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

Other Useful Business Software
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of The Verified Software Repository!

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