Asmeta
Architecture
Overview
Asmeta toolset
Editor
Simulator
Validator
Animator
Model checker
Model advisor
Visualizer
Refinement prover
Scenario refiner
Asm2SMT
Asm2C++
Papers
Our papers
Papers written by others
People
User documentation
Documentation for users
Asmeta language
The Abstract State Machines Metamodel
Developer documentation
Developer information
Source repository
Web resources
TODO: some STAN pictures will be available soon