DMCA

IC3 modulo theories via implicit predicate abstraction (2014)

by Alessandro Cimatti , Alberto Griggio , Sergio Mover , Stefano Tonetta
Venue:IN: PROC. TACAS.
Citations:4 - 2 self