Invariants for finite instances and beyond.

Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zadi

Browse the full FMCAD paper archive.