Google DocsTor‎ > ‎

Google Drive Formal Model

Current project status

See CAL 2015 (paper + slides) and PVS for a completely new development started on 6 February 2015.

Previous work

Some work has been done at ENSEIRB-MATMECA, in 2012-2013 and 2013-2014, regarding a formal model of some Google Drive underlying concepts. A student project was proposed in 2014-2015, but not chosen.
Sous-pages (3) : CAL 2015 Previously PVS