Abstract State Machines

Virtual Library

---

Computing

---

Software engineering

---

Formal methods

ASM (Abstract State Machines) is a leading formal method. The approach was formerly known as Evolving Algebras.

Books

• E. Börger and R. Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag, 2003. ISBN 3-540-00702-4 (order from Amazon USA or Amazon UK).

See also

• ABZ
• Formal specification
• Z notation

External links

• Abstract State Machines website
• Asmeta toolset
• Abstract State Machine Tutorial by Egon Börger↑
• Wikipedia: Abstract state machines
• Wikipedia: Abstract State Machine Language