Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Partial-order Reduction Techniques for Real-time Model Checking

  • 66 Accesses

  • 15 Citations

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.

This is a preview of subscription content, log in to check access.

Author information

Additional information

Received March 1998 / Accepted in revised form October 1998

Rights and permissions

Reprints 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

Download citation

  • Keywords: Verification; Model checking; Partial-order reduction; Real time; Covering