Logic for ASMs (Extended Abstract)

Citation:	Robert Stärk and Stanislas Nanchen, "A Logic for Abstract State Machines". In L. Fribourg, ed., Computer Science Logic, Springer LNCS 2142, 2001, 217-231.
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 full paper.

[an error occurred while processing this directive]

Abstract State Machines