Synthesis from Formal Partial Abstractions. |
Hamid Bagheri, PhD thesis, University of Virginia, 2013. |
Generation of Policy-Rich Websites from Declarative Models. |
Felix Sheng-Ho Chang, PhD thesis, MIT, 2009. |
A Relational Framework for Bounded Program Verification. |
Greg Dennis, PhD thesis, MIT, 2009. |
Software Verification using Alloy. |
Juan Pablo Galeotti, PhD thesis, Universidad de Buenos Aires, 2010. |
Modeling and Analyzing Web Protocols for Trust and Secrecy. |
Apurva Kumar, PhD thesis, Indian Institute of Technology, Delhi, 2012. |
Generating Structurally Complex Tests from Declarative Constraints. |
Sarfraz Khurshid, PhD thesis, MIT, 2003. |
Improvements to Interactive Theorem Proving of Alloy Properties using SAT-Solving. |
Mariano Miguel Moscato, PhD thesis, Universidad de Buenos Aires, 2013. |
An Imperative Extension to Alloy and a Compiler for its Execution. |
Joseph Near, Masters thesis, MIT, 2010. |
First-Order Models for Configuration Analysis. |
Tim Nelson, PhD thesis, Worcester Polytechnic Institute, 2013. |
Declarative Symbolic Pure-Logic Model Checking. |
Ilya A. Shlyakhter, PhD thesis, MIT, 2005. |
A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications. |
Emina Torlak, PhD thesis, MIT, 2009. |
Subtyping in Alloy. |
Emina Torlak, Masters thesis, MIT, 2009. |
Finding Bugs in Software with a Constraint Solver. |
Mandana Vaziri-Farahani, PhD thesis, MIT, 2003. |