Theses most similar to Translating alloy using Boolean circuits (Daitch, Samuel Isaac; 2004) read it

Declarative symbolic pure-logic model checking

Shlyakhter, Ilya, 1975- (2005)

  • Advisor: Daniel N. Jackson
  • Department of Electrical Engineering and Computer Science
Read it

Verifiable compilation of I/O automata without global synchronization

Tauber, Joshua A. (Joshua Allen) (2005)

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

Probabilistic representation and manipulation of Boolean functions using free Boolean diagrams

Shen, Amelia H. (Amelia Huimin) (1994)

  • Advisor: Srinivas Devadas
  • Department of Electrical Engineering and Computer Science
Read it

A performance driven approach for hardware synthesis of guarded atomic actions

Rosenband, Daniel L., 1977- (2005)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Restricted branching programs and hardware verification

Ponzio, Stephen J. (Stephen John) (1995)

  • Advisor: Maricio Karchmer
  • Department of Electrical Engineering and Computer Science
Read it

Automated termination proofs using Walther recursion

Wu, Alexander (1994)

  • Advisor: David A. McAllester
  • Department of Electrical Engineering and Computer Science
Read it

Verification of full functional correctness for imperative linked data structures

Zee, Karen K (2010)

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

Smten and the art of satisfiability-based search

Uhler, Richard Stephen (2014)

  • Advisor: Jack B. Dennis
  • Department of Electrical Engineering and Computer Science
Read it

Accessible programming using program synthesis

Singh, Rishabh (2014)

  • Advisors: Armando Solar̆-Lezam; Sumit Gulwani
  • Department of Electrical Engineering and Computer Science
Read it

Advancing declarative programming

Milicevic, Aleksanda (2015)

  • Advisor: Daniel N. Jackson
  • Department of Electrical Engineering and Computer Science
Read it