Simulation techniques for proving properties of real-time systems

Lynch, Nancy

doi:10.1007/3-540-58043-3_24

Search citation statements

Order By: Relevance

Paper Sections

Select...

Background 21 Timed Automata and Hybrid I O Automata1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1996

2022

Publication Types

Select...

Book5

Relationship

Self Cite1

Independent4

Authors

Journals

Cited by 8 publications

(1 citation statement)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A variety of proof techniques for timed automata have been developed, including invariant assertions and simulations 20 , compositional methods based on shared actions 18, 5 , 16 , and temporal logic methods 24 . Applications of the model to asynchronous and timing-based distributed algorithms appear in 22,15,12,11,16 , applications to communication systems appear in 24, 9 , 1 , and applications to real-time control trains and gates, steam boiler control appear in 8, 1 0 .…”

Section: Background 21 Timed Automata and Hybrid I O Automatamentioning

confidence: 99%