Program Analysis with Boolean Solvers
By Fadi Zaraket, December 2007
- Latest update:
September 26, 2007
- 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.