Accession Number : ADA337078

Title :   Evolving Algebras: A Novel Specification and Verification Methodology

Descriptive Note : Final rept 1 Sep 94-31 Dec 97

Corporate Author : MICHIGAN UNIV ANN ARBOR DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE

Personal Author(s) : Gurevich, Yuri

PDF Url : ADA337078

Report Date : 31 DEC 1997

Pagination or Media Count : 8

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.

Descriptors :   *VERIFICATION, *SPECIFICATIONS, *ALGEBRA, EUROPE, METHODOLOGY, STUDENTS, FRANCE, GERMANY, MACHINES, WORKSHOPS, MICHIGAN, SWITZERLAND.

Subject Categories : Numerical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE