Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mdgtechreport.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Amjad Gawanmeh, Sofiène Tahar, and Kirsten Winter, "Formal Verification of ASM Designs using the MDG Tool". Concordia University, Department of Electrical and Computer Engineering, Technical Report, June 2003. |
|---|---|
| Summary: | An extended technical report describing the details of an interface between ASMs and multiway decision graphs (MDGs). Includes a case study using the Island Tunnel Controller. |
| Subjects: | Mechanical Verification, Benchmark Examples |
| Download: | From Concordia University. |
| Notes: | An expansion of earlier work. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mdgtechreport.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT