Abstract State Machines Research Center

Mission of the Abstract State Machines Research Center

Support the ASM method for rigorous modeling and analysis of complex computational systems, through

• its applications in a variety of domains
• its theoretical and practical enhancements

to provide means for an accurate

for software-based or other dynamic systems with a computational-process component, as encountered in natural and life sciences, mathematics, computer science, engineering, cognitive science, linguistics, economics, biology, medicine, law, etc.