Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/refineVerify.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Gerhard Schellhorn, "Verification of ASM Refinements Using Generalized Forward Simulation". Journal of Universal Computer Science, vol. 7, no. 11 (2001), 952-979. |
|---|---|
| Summary: | A generic proof method for the correctness of refinements of ASMs based on commuting diagrams. |
| Subjects: | Verification, Refinement |
| Download: | From jucs.org in PDF. |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/refineVerify.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT