Automatic generation of network invariants for the verification of iterative sequential systems (1987)

by June-Kyung Rho, Fabio Somenzi
Venue:In 5’th Int’l Conf. on Computer-Aided Verification