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:
@mastersthesis{Dean01, 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.