Ausgabe 1/2014
Inhalt (3 Artikel)
Resolution proof transformation for compression and interpolation
Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich
SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li
An extension of lazy abstraction with interpolation for programs with arrays
Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina