Theses most similar to An efficient projected minimal conflict generator for projected prime implicate and implicant generation (Elliott, Paul Harrison, 1979-; 2004) read it
Model-based monitoring and diagnosis of systems with software-extended behavior
Mikaelian, Tsoline (2005)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisors: Nancy A. Lynch; Stephen J. Garland
- Department of Electrical Engineering and Computer Science
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
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
Storyboard programming of data structure manipulations : a picture is worth 20 lines of code
Singh, Rishabh (2010)
- Advisor: Armando Solar-Lezama
- Department of Electrical Engineering and Computer Science
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
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science