[X] The "/videogrok/VideoGrok05.zip" file could not be found or is not available. Please select another file.

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





Separate each tag with a space.

Ratings and Reviews

Be the first to post a text review of ProofOS. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

Thanks for your rating!

Would you also like to write a review?





Skip Review