Architecture Design and Analysis

In the research reported here,  the ASM (Abstract State Machines) method has been used to develop a practically viable method for defining, in a rigorous but concise way, models for various instruction set architectures and virtual machines.The operational and abstract character of ASMs


For a systematic exposition of the ASM systems engineering method in its full generality see the AsmBook. The ASM method provides in particular a framework for the design and the mathematical analysis of architectures. The following papers have pioneered the method through some characteristic examples.

Book by R. Stärk, J. Schmid, E. Börger,  Springer-Verlag, 2001