Abstract State Machines




ASM Studies

Combining Heterogeneous Specifications

Citation: Giuseppe Del Castillo and Uwe Glässer, "Computer-Aided Analysis and Validation of Heterogeneous System Specifications". In: F. Pichler, R. Moreno-Diaz and P. Kopacek, editors, Computer Aided Systems Theory, Proc. of the 7th International Workshop on Computer Aided Systems Theory (EUROCAST'99), Springer LNCS 1798, 2000, 55--79.
Summary: ASMs are proposed as a methodology for combining heterogeneous specifications. As a case study, Petri-net and SDL specifications of a material flow system are combined using ASMs and validated using SMV.
Subjects: ASM Explorations, Benchmark Examples, Mechanical Verification
Download: PostScript, PDF, Compressed PostScript