Partial-order Reduction Techniques for Real-time Model Checking
- 64 Downloads
A new notion, covering, generalising independence is introduced. It enables improved effects of partial-order reduction techniques when applied to real-time systems. Furthermore, we formulate a number of locally checkable conditions for covering that can be used as the basis for a practical algorithm. Correctness is proven with respect to a chosen discretisation method.
Unable to display preview. Download preview PDF.