https://www.microsoft.com/en-us/research/project/asml-abstract-state-machine-language/
AsmL is an industrial-strength executable specification language. It can be used at any stage of the programming process: design, coding, or testing. It is...
abstract state machinemicrosoft researchasmllanguage