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/kutter/ASMworkshop/1997/. 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 partially, during the period in question.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1996
- Accession Number
- ADA328074
Entities
People
- Yuri Gurevich
Organizations
- University of Michigan