Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Logic for ASMs


Citation: Robert Stärk and Stanislas Nanchen, "A Logic for Abstract State Machines". Journal of Universal Computer Science 7( 11), 980-1005.
Summary: A logic for sequential, non-distributed ASMs is presented. The logic allows for sequential and hierarchical composition; it is proven correct for non-recursive ASMs.
Subjects: Logic & Computability
Download: From Robert Stärk's homepage in PDF.
Notes: See the extended abstract.