Formal Methods Wiki

This wiki's URL has been migrated to the primary fandom.com domain.Read more here

READ MORE

Formal Methods Wiki
Advertisement

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[]

Advertisement