Theses most similar to Verification of full functional correctness for imperative linked data structures (Zee, Karen K; 2010) read it

Translating alloy using Boolean circuits

Daitch, Samuel Isaac (2004)

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

Modular data structure verification

Kuncak, Viktor (Viktor Jaroslav), 1977- (2007)

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

The Hob system for verifying software design properties

Lam, Patric (2007)

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

A lightweight specification language for bounded program verification

Yessenov, Kuat T (2009)

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

Directed random testing

Pacheco, Carlos, Ph.D (2009)

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

A relational framework for bounded program verification

Dennis, Gregory D. (Gregory David), 1980- (2009)

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

Automating abstraction functions

Rayside, Derek F (2010)

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

Verification of semantic commutativity conditions and inverse operations on linked data structures

Kim, Deokhwan (2011)

  • 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

Advancing declarative programming

Milicevic, Aleksanda (2015)

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