ProofOS

  •        0

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.

http://proofos.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects