Evolving Algebras: A Novel Specification and Verification Methodology
Abstract
The Evolving Algebra Methodology originated at Michigan and, from the beginning, was supported by ONR. Recently the term "Evolving Algebra" has been replaced with the term "Abstract State Machines" abbreviated to ASM. During the period in question, the ASM theory has been advanced and many ASM applications have been successfully realized. The ASM methodology spread to many countries including many European countries, e.g. France, Germany, Switzerland. Annual ASM workshops have been established. The latest ASM workshop took place in June 1997 in France; see http://www.tik.ee.ethz.ch/ kut- ter/ASMworkshop/1997/. Two ASM workshop will take place in 1998: one in France and one in Germany. General information about the current state of affairs in the ASM field can be found at http://www.eecs.umich.edu/gasm/. An ASM interpreter has been improved here at Michigan; additional ASM tools have been; in particular see http://www.icsi.berkeley.edu/ maffy/gem. In the rest of the report, we provide an annotated list of the articles of the principal investigator and his students written, at least partiallv. during the period in question.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 31, 1997
- Accession Number
- ADA337078
Entities
People
- Yuri Gurevich
Organizations
- University of Michigan