Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!

Implementation of an Abstract State Machines Engine

Student name: 

Abstract State Machines (ASMs), formerly known as Evolving Algebras, are a formal method for specification and verification. ASMs are useful in any situation where one needs a precise, non-ambiguous way to specify a ¡computer system, either software or hardware. One of the greatest ¡benefits of ASMs is that they are executable. The aim of this thesis is ¡to develop an ASM engine that executes ASMs specifications.