Fandom

Formal Methods Wiki

Abstract State Machines

Redirected from Evolving Algebras

120pages on
this wiki
Add New Page
Talk0 Share
VL2

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 Edit

See also Edit

External links Edit

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.