## Simulation Techniques For Proving Properties Of Real-Time Systems (1993)

### Cached

### Download Links

- [www.lcs.mit.edu]
- [theory.csail.mit.edu]
- [groups.csail.mit.edu]
- DBLP

### Other Repositories/Bibliography

Venue: | IN REX WORKSHOP '93, LECTURE NOTES IN COMPUTER SCIENCE |

Citations: | 21 - 6 self |

### BibTeX

@INPROCEEDINGS{Lynch93simulationtechniques,

author = {Nancy Lynch},

title = {Simulation Techniques For Proving Properties Of Real-Time Systems},

booktitle = {IN REX WORKSHOP '93, LECTURE NOTES IN COMPUTER SCIENCE},

year = {1993},

pages = {375--424},

publisher = {Springer-Verlag}

}

### OpenURL

### Abstract

The method of simulations is an important technique for reasoning about real-time and other timing-based systems. It is adapted from an analogous method for untimed systems. This paper presents the simulation method in the context of a very general automaton (i.e., labelled transition system) model for timing-based systems. Sketches are presented of several typical examples for which the method has been used successfully. Other complementary tools are also described, in particular, invariants for safety proofs, progress functions for timing proofs, and execution correspondences for liveness proofs.