Issue 3/2016
Content (4 Articles)
Infinite-state invariant checking with IC3 and predicate abstraction
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
A layered algorithm for quantifier elimination from linear modular constraints
Ajith K. John, Supratik Chakraborty