Formal Verification of Embedded Systems based on CFSM Networks.

Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.