Theses most similar to Formal verification of simulations between I/O automata (Bogdanov, Andrej, 1978-; 2001) read it

Automatic verification of the timing properties of MMT automata

Söylemez, Ekrem Sezer (1994)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Translating timed I/O automata specifications for theorem proving in PVs

Lim, Hongping (2006)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Incorporating specialized theories into a general purpose theorem prover

Pogosyants, Anna (1995)

  • Advisor: Stephen J. Garland
  • Department of Electrical Engineering and Computer Science
Read it

Using simulation techniques to prove timing properties

Luchangco, Victor (1995)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"

Kuc̆an, Jakov (1997)

  • Advisor: Albert R. Meyer
  • Department of Mathematics
Read it

Credible compilation

Marinov, Darko, 1976- (2000)

  • Advisor: Martin C. Rinard
  • Department of Electrical Engineering and Computer Science
Read it

Memory consistency models for high performance distributed computing

Luchangco, Victor (2001)

  • Advisor: Nancy A. Lynch
  • Department of Mechanical Engineering
Read it

Improved simulation of input/output automata

Dean, Laura (Laura Gayle), 1979- (2001)

  • Advisors: Michael D. Ernst; Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Paired simulation of I/O automata

Ramírez-Robredo, J. Antonio (José Antonio), 1976- (2000)

  • Advisor: Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

A virtual machine for a type-[omega] denotational proof language

Arvizo, Teodoro, 1978- (2002)

  • Advisor: Howard E. Shrobe
  • Department of Electrical Engineering and Computer Science
Read it