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: | Lynch, Nancy A., Vaandrager, Frits |
---|---|
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149207 |
Similar Items
-
Forward and Backward Simulations Part II: Timing-based Systems
by: Lynch, Nancy A., et al.
Published: (2023) -
Forward and Backward Simulations for Timing-based Systems
by: Lynch, Nancy A., et al.
Published: (2023) -
Liveness in Timed and Untimed Systems
by: Gawlick, Rainer, et al.
Published: (2023) -
Hybrid I/O Automata*
by: Lynch, Nancy A., et al.
Published: (2023) -
Hybrid I/O Automata
by: Lynch, Nancy A., et al.
Published: (2023)