Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mdgearly.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Amjad Gawanmeh, Sofiène Tahar, and Kirsten Winter, "Interfacing ASM with the MDG Tool". In E. Börger, A. Gargantini, and E. Riccobene, eds., Abstract State Machines 2003. Advances in Theory and Practice, Springer LNCS 2589, 2003, 278-292. |
|---|---|
| Summary: | An early work describing an interface between the ASM Workbench and the MDG model checking tool. |
| Subjects: | Mechanical Verification, Benchmark Examples |
| Download: | From the author's web page in PostScript. |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mdgearly.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT