Skip to main content »

Trinity College Dublin

Dublin University Crest Computer Science Department > Andrew Butterfield Trinity College Crest

Flash Memory Modelling

This page describes the Flash Memory modelling work done at TCD as part of the POSIX filestore mini-challenge.

Work so far

We list the key items of work done to date:

Work in progress

Ongoing work includes:
  • Continuing reworking/analysis with Z-Eves (with Leo Freitas and Jim Woodcock).
  • Circus models encompassing both the above Z and CSP models (on hold)

This page was last udpated on September 6th 2010 by Andrew Butterfield.

Email  WebAdmin @