Production Cell Control Problem

Citation:	Egon Börger and Luca Mearelli, "Integrating ASMs into the Software Development Life Cycle", Journal of Universal Computer Science, vol. 3, no. 5 (1997), 603--665.
Summary:	ASMs are used throughout a complete software development life cycle on the FZI production cell control problem.
Subjects:	Benchmark Examples, Refinement, Verification
Download:	PostScript, PDF, Compressed PostScript
Notes:	See also the implementation code (in C++) for the ASM solution, as well as a SMV model checking verification and a verification. (Courtesy of Springer-Verlag.)

[an error occurred while processing this directive]

Abstract State Machines