e/CoreASM

Information
has gloss	eng: CoreASM is an open source project (licensed under Academic Free License version 3.0) that focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.
lexicalization	eng: CoreASM
instance of	c/Formal methods tools