Formal Methods Wiki
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[]

See also[]

External links[]