Abstract State Machines




ASM Studies

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.)