Stem mdg$ (all stems)
- SEFM-2003-GawanmehTW #design #using #verification
- Formal Verification of ASM Designs Using the MDG Tool (AG, ST, KW), pp. 210–219.
- Formally Linking MDG and HOL Based on a Verified MDG System (HX, PC, ST, AB), pp. 205–224.
- CAV-1996-AnonBCCLSTXZ #design #tool support #verification
- MDG Tools for the Verification of RTL Designs (KDA, NB, EC, FC, ML, XS, ST, YX, ZZ), pp. 433–436.