Asmeta | Overview | |
Asmeta is a framework for the Abstract State Machines (ASMs) formal method. It is composed of different tools for performing different validation and verification activities. It is based on the definition of a metamodel for ASMs. For the metamodel semantics, we adopt the ASMs semantics given in the ASM book. You can find information on how to download and install the tools. The documentation about the language and the tools can be found here. The source code can be found in the github repository https://github.com/asmeta/asmeta. NewsSep 24 we will have a tutorial on asmeta at FM24 |