1. Resolution proof transformation for compression and interpolation

   • Simone Fulvio Rollini
   • Roberto Bruttomesso
   • Aliaksei Tsitovich

   OriginalPaper 27 April 2014 Pages: 1 - 41

   

2. SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata

   • Dingbao Xie
   • Lei Bu
   • Xuandong Li

   OriginalPaper 16 May 2014 Pages: 42 - 62

   

3. An extension of lazy abstraction with interpolation for programs with arrays

   • Francesco Alberti
   • Roberto Bruttomesso
   • Natasha Sharygina

   OriginalPaper 21 May 2014 Pages: 63 - 109