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 |