Improved Simulation of Input/Output Automata

Download: PDF, PostScript.

“Improved Simulation of Input/Output Automata” by Laura Dean. Masters thesis, MIT Department of Electrical Engineering and Computer Science, (Cambridge, MA), Sep. 2001.


The IOA Simulator is part of a collection of tools for developing and analyzing distributed algorithms. This thesis describes several improvements to the Simulator: adding new data type implementations, sharing data types with the IOA Code Generator, improving the Simulator's documentation, and adding an interface to Daikon, an invariant-discovery tool. These improvements should increase the Simulator's usability as a tool in writing and verifying algorithms for distributed systems.

Download: PDF, PostScript.

BibTeX entry:

   author = {Laura Dean},
   title = {Improved Simulation of {Input}/{Output} Automata},
   school = {MIT Department of Electrical Engineering and Computer Science},
   address = {Cambridge, MA},
   month = sep,
   year = {2001}

(This webpage was created with bibtex2web.)

Back to Program Analysis Group publications.