ProofOS

prealpha

Download proofos-all-0.1.tgz

Browse All Files

Linux

Description

This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

ProofOS Web Site

License

BSD License, GNU General Public License version 2.0 (GPLv2), GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Update Notifications

Write a Review

User Reviews

Be the first to post a review of ProofOS!

Additional Project Details

Intended Audience

Developers, Information Technology, Science/Research

Programming Language

Assembly, C, OCaml (Objective Caml)

Registered

2005-10-17