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

Books Edit

• 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 Edit

• ABZ
• Formal specification
• Z notation

External links Edit

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

This article is a stub. You can help Formal Methods Wiki by expanding it.