This section provides information for Asmeta users and people interested in the Asmeta project.

For information about the metamodel we have developed for the Abstract State Machines, about the technologies and tools we have used, see the the AsmM documentation.

For information about the language we have derived from the metamodel, examples and a quick guide how to write specifications in this language, see the AsmetaL documentation.

For information about the tools in the Asmeta tool set, how to use them see the tools section.