Partial-order Reduction in Symbolic State Space Exploration ?;??

  • R. Alur R. K. Brayton T. A. Henzinger S. Qadeer S. K. RajamaniEECS
  • Published 1997


State space explosion is a fundamental obstacle in formal veriica-tion of designs and protocols. Several techniques for combating this problem have emerged in the past few years, among which two are signiicant: partial-order reductions and symbolic state space search. In asynchronous systems, interleavings of independent concurrent events are equivalent… (More)



Citations per Year

216 Citations

Semantic Scholar estimates that this publication has 216 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics