Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486)
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) hi...
| Main Authors: | , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149207 |
| _version_ | 1826199045028184064 |
|---|---|
| author | Lynch, Nancy A. Vaandrager, Frits |
| author_facet | Lynch, Nancy A. Vaandrager, Frits |
| author_sort | Lynch, Nancy A. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T11:13:52Z |
| id | mit-1721.1/149207 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T11:13:52Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1492072023-03-30T03:54:54Z Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486) Lynch, Nancy A. Vaandrager, Frits 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. 2023-03-29T14:36:45Z 2023-03-29T14:36:45Z 1993-03 https://hdl.handle.net/1721.1/149207 MIT-LCS-TM-486b application/pdf |
| spellingShingle | Lynch, Nancy A. Vaandrager, Frits Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486) |
| title | Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486) |
| title_full | Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486) |
| title_fullStr | Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486) |
| title_full_unstemmed | Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486) |
| title_short | Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486) |
| title_sort | forward and backward simulations part i untimed systems replaces tm 486 |
| url | https://hdl.handle.net/1721.1/149207 |
| work_keys_str_mv | AT lynchnancya forwardandbackwardsimulationspartiuntimedsystemsreplacestm486 AT vaandragerfrits forwardandbackwardsimulationspartiuntimedsystemsreplacestm486 |