Publications : Workshops

  1. Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric. 17th International SPIN Workshop on Model Checking Software (SPIN 2010), Enschede, the Netherlands.
  2. Deciding Unbounded Heaps in an SMT Framework. Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti. 5th International Workshop on Satisfiability Modulo Theories (SMT 2007), Berlin, Germany. (Presentation-only paper.)

Comments are closed.