---
res:
  bibo_abstract:
  - 'State-space explosion is a fundamental obstacle in the formal verification of
    designs and protocols. Several techniques for combating this problem have emerged
    in the past few years, among which two are significant: partial-order reduction
    and symbolic state-space search. In asynchronous systems, interleavings of independent
    concurrent events are equivalent, and only a representative interleaving needs
    to be explored to verify local properties. Partial-order methods exploit this
    redundancy and visit only a subset of the reachable states. Symbolic techniques,
    on the other hand, capture the transition relation of a system and the set of
    reachable states as boolean functions. In many cases, these functions can be represented
    compactly using binary decision diagrams (BDDs). Traditionally, the two techniques
    have been practiced by two different schools—partial-order methods with enumerative
    depth-first search for the analysis of asynchronous network protocols, and symbolic
    breadth-first search for the analysis of synchronous hardware designs. We combine
    both approaches and develop a method for using partial-order reduction techniques
    in symbolic BDD-based invariant checking. We present theoretical results to prove
    the correctness of the method, and experimental results to demonstrate its efficacy.@eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Rajeev
      foaf_name: Alur, Rajeev
      foaf_surname: Alur
  - foaf_Person:
      foaf_givenName: Robert
      foaf_name: Brayton, Robert
      foaf_surname: Brayton
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Shaz
      foaf_name: Qadeer, Shaz
      foaf_surname: Qadeer
  - foaf_Person:
      foaf_givenName: Sriram
      foaf_name: Rajamani, Sriram
      foaf_surname: Rajamani
  bibo_doi: 10.1023/A:1008767206905
  bibo_issue: '2'
  bibo_volume: 18
  dct_date: 2001^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0925-9856
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Partial-order reduction in symbolic state-space exploration@
...