Published November 28, 2001 | Version v1
Journal article Open

Verification of ASM Refinements Using Generalized Forward Simulation

Authors/Creators

  • 1. University of Augsburg, Germany

Description

This paper describes a generic proof method for the correctness of refinements of Abstract State Machines based on commuting diagrams. The method generalizes forward simulations from the refinement of I/O automata by allowing arbitrary m:n diagrams, and by combining it with the refinement of data structures.

Files

jucs_article_27832.pdf

Files (259.8 kB)

Name Size Download all
md5:7855f50ace1030f2fa9d2e34969a157e
259.8 kB Preview Download