Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mdg.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". In Proceedings of the IEEE International Conference on Software Engineering and Formal Methods (SEFM'03), IEEE Computer Society Press, September 2003. |
|---|---|
| Summary: | A description of an interface from ASMs to multiway decision graphs (MDGs), permitted automated verification of the resulting MDG models. A case study involving the Island Tunnel Controller is included. |
| Subjects: | Mechanical Verification, Benchmark Examples |
| Download: | From the author's homepage in PostScript. |
| Notes: | An extension of earlier work. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mdg.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT