Forward and Backward Simulations Part II: Timing-based Systems
Name
MIT-LCS-TM-487c.pdf
Size
4.54 MB
Format
Adobe PDF
Checksum (MD5)
ae6f2d866df667cf7bc293d3884f13eb
Author(s)
Lynch, Nancy A.
Vaandrager, Frits
Date Issued
March 1993
Series/Report no.
MIT-LCS-TM-487c
Abstract
A general automaton model for timing-based systems is presented and is used as the context for developing a variety of simulation proof techniques for such systems. These techniques include (1) refinments, (2) forward and backward simulations, (3) hybrid forward-backward and backward-forward simulations, and (4) history and prophecy relations. Relationships between the different types of simulations, as well as soundness and completeness results, are stated and proved.
Persistent DSpace Link
