Archive for the ‘Workshop Publications’ Category

Context-Bounded Translations for Concurrent Software: An Empirical Evaluation

Posted in September 30, 2010 ¬ 4:38 pmh.zrakamarNo Comments »
EmailFacebookShare

Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric. 17th International SPIN Workshop on Model Checking Software (SPIN 2010), Enschede, the Netherlands.

Read the rest of this entry »
Workshop Publications

Deciding Unbounded Heaps in an SMT Framework

Posted in July 1, 2007 ¬ 8:49 pmh.zrakamarNo Comments »
EmailFacebookShare

Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti. 5th International Workshop on Satisfiability Modulo Theories (SMT 2007), Berlin, Germany. (Presentation-only paper.)

Read the rest of this entry »
Workshop Publications