Automated Verification with Abstract State Machines Using Multiway Decision Graphs (1997)

by E Cemy, F Corella, M Langevin, X Song, S Tahar
Venue:Fonnal Hardware Verification Methzods and Systems in Conzparison, LNCS 1287, State-ofthe-Art Survey