Abstract State Machines in Software Development
Abstract State Machines (ASMs) were introduced by Yuri Gurevich, and have provided a foundation for developing a rigorous hardware and software design method which provides abstract high-level system specifications and their stepwise refinement down to the implementations.
During the seminar we will take a look at:
This talk is for anyone who is interested in the application of Formal Methods in real world software systems.
I received my MSc, PhL, and PhD degrees from Uppsala University in 1990, 1993, and 1997, respectively. After that I spent 2 years as a postdoc at Max-Planck-Institute in Saarbruecken, Germany, working mainly on decidability a and undecidability issues concerning second-order unification and the guarded fragment of first-order logic.
From July 1999, have been working as a researcher at Microsoft Research in Redmond, USA, in the group "Foundations of Software Engineering" headed by Yuri Gurevich. The main ambition of the group is to make ASMs useful in software development at Microsoft.