proofos online with Winfy

We have hosted the application proofos in order to run this application in our online workstations with Wine or directly.

Quick description about 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.

Audience: Developers, Information Technology, Science/Research.

Programming Language: Assembly, C, OCaml (Objective Caml).
Categories: