Automatic generation of network invariants for the veri��cation of iterative sequential systems (1993)

by J-K Rho, F Somenzi
Venue:In Computer Aided Veri��cation, CAV '93, LNCS 697