set on SourceForge AsmL CoreASM, available at CoreASM, an extensible ASM execution engine AsmGofer on Archive.org The XASM open source project on SourceForge Bibliography Y. Gurevich, Evolving Algebras 1993: Lipari Guide, E. Börger (ed.), Specification and Validation Methods, Oxford University Press, 1995, 9-36. () Y. Gurevich, Sequential Abstract State Machines capture Sequential Algorithms, ACM Transactions on Computational Logic 1(1) (July 2000), 77–111. R. Stärk, J. Schmid and E. Börger, Java and the Java Virtual Machine: Definition, Verification, Validation, Springer-Verlag, 2001. () E. Börger and R. Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag, 2003. () E. Börger and A. Raschke, Modeling Companion for Software Practitioners, Springer-Verlag, 2018. (, ) References External links Abstract State Machines AsmCenter The TASM toolset: specification, simulation, and formal verification of real-time systems Models of computation Formal methods