Structure-aware computation of predicate abstraction.

Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri

Browse the full FMCAD paper archive.