Ausgabe 2/2015
Inhalt (3 Artikel)
Hybrid automata-based CEGAR for rectangular hybrid systems
Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
Optimization techniques for craig interpolant compaction in unbounded model checking
Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto