Formal Verification of ASM Designs Using the MDG Tool.

Amjad Gawanmeh, Sofine Tahar, Kirsten Winter

Browse the full SEFM paper archive.