Verification with Abstract State Machines Using MDGs.

Eduard Cerny Francisco Corella Michel Langevin Xiaoyu Song Sofiène Tahar Zijian Zhou Verification with Abstract State Machines Using MDGs. 79-113 1997 conf/fhv/1997 Formal Hardware Verification db/conf/fhv/fhv1997.html#CernyCLSTZ97