Abstract.
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.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received March 1998 / Accepted in revised form October 1998
Rights and permissions
About this article
Cite this article
Dams, D., Gerth, R., Knaack, B. et al. Partial-order Reduction Techniques for Real-time Model Checking. Form Aspects Comput 10, 469–482 (1998). https://doi.org/10.1007/s001650050028
Issue Date:
DOI: https://doi.org/10.1007/s001650050028