Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.

Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial

Browse the full ICFEM paper archive.