We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486)

Thumbnail Image
Download
Name

MIT-LCS-TM-486.b.pdf

Size

3.41 MB

Format

Adobe PDF

Checksum (MD5)

f013e01cee924fc32b5e2fe96f061cd6

Author(s)
Lynch, Nancy A.
•
Vaandrager, Frits
Date Issued
March 1993
Series/Report no.
MIT-LCS-TM-486b
Abstract
A unified, comprehensive presentation of simulation techniques for verification of concurrent systems is given, in terms of a simple untimed automaton model. In particular, (1) refinements, (2) forward and backward simulations, (3) hybrid forward-backward and backward-forward simulations, and (4) history and prophecy relations are defined.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.