ProofOS Icon

ProofOS

prealpha
Add a Review
3 Downloads (This Week)
Last Update:
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

KEEP ME UPDATED

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

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks