Showing page 1 of 1.

• 
  ProofOS

  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.

  2 weekly downloads