文章基本信息

标题：Verification of ASM Refinements Using Generalized Forward Simulation
作者：Gerhard Schellhorn
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2001
卷号：7
期号：11
页码：952-979
出版社：Graz University of Technology and Know-Center
摘要：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.