Skip to content. Skip to navigation

QPQ Deductive Repository

Sections

Personal tools

Log in
Join

You are here: Home → VSR → Private → Verified Software Roadmap 2006 → SmartVSR

Log in: Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.; Forgot your password?; New user?

Document Actions

SmartVSR

testing

Overview — last modified 2007-03-07 14:21: Software is now at the core of our infrastructure. We depend on software to control devices ranging from pacemakers to spacecraft, to manage our banking, communication, and power distribution ...
Welcome to the QPQ Deductive Software Repository by admin — last modified 2006-12-13 22:38: QPQ is a forum for developing and exchanging formal content including theorem proving and verification systems, libraries, benchmarks, challenges, standards, and technical reports.

What's up ?

Be notified when a document is published in this folder or below.

Powered by Plone, the Open Source Content Management System

This site conforms to the following standards: