Forward and Backward Simulations Part II: Timing-based Systems
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 simu...
| Autores principales: | , |
|---|---|
| Publicado: |
2023
|
| Acceso en línea: | https://hdl.handle.net/1721.1/149208 |
| Sumario: | 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. |
|---|