Advertisement

Formal Aspects of Computing

, Volume 10, Issue 5–6, pp 469–482 | Cite as

Partial-order Reduction Techniques for Real-time Model Checking

  • Dennis Dams
  • Rob Gerth
  • Bart Knaack
  • Ruurd Kuiper
Original Paper

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.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 1998

Authors and Affiliations

  • Dennis Dams
    • 1
  • Rob Gerth
    • 2
  • Bart Knaack
    • 3
  • Ruurd Kuiper
    • 1
  1. 1.Eindhoven University of Technology, The NetherlandsNL
  2. 2.Strategic CAD Laboratories, Intel Micro Processor Products Group, Hillsboro, OR, USAUS
  3. 3.Lucent Technologies, Hilversum, The NetherlandsNL

Personalised recommendations