Program Analysis with Boolean Solvers
By Fadi Zaraket, December 2007
PhD Thesis
Current
- Latest update:
September 26, 2007
-- here.
- Slides .
List of publications
- Embedded systems:
Global optimization of compositional systems.
F. Zaraket, J. Pape, A. Aziz, M. Jacome, and S. Khurshid. Formal Methods on Computer Aided Designs,
Austin TX, November 2007.
- Software verification:
Sequential circuits for program analysis.
F. Zaraket, A. Aziz, and S. Khurshid. Automated Software Engineering,
Atlanta GA, November 2007.
-
Sequential circuits for relational analysis.
F. Zaraket, A. Aziz, and S. Khurshid. International Conference on Software Engineering,
Minneapolis MN, May 2007.
-
Applying a sequential circuit solver to Alloy.
F. Zaraket, A. Aziz, and S. Khurshid. First ACM Alloy Workshop .
Portland OR, November 2006.
- Hardware verification:
Compositional minimization via static analysis.
F. Zaraket, J. Baumgartner, A. Aziz. International Conference on Computer Aided Designg,
San Jose CA, November 2005.