Diego Zaccai

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Formal Specification

Solving Problems

Software Components

Top Venues

NASA Formal Methods

Publications

Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide
Providing Early Warnings of Specification Problems. NASA Formal Methods (2014)
Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide
Syrus: providing practice problems in discrete mathematics with instant feedback. SIGCSE (2014)
Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai
A Language for Building Verified Software Components. ICSR (2013)
Aditi Tagore, Diego Zaccai, Bruce W. Weide
Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study. NASA Formal Methods (2012)