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
Notes:

[an error occurred while processing this directive]

Abstract State Machines