MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Partial-Order Reduction in Symbolic State-Space Exploration." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Partial-Order Reduction in Symbolic State Space Exploration
by R. Alur, R. K. Brayton, T. A. Henzinger, S. Qadeer, S. K. Rajamani — 1997
…Partial-Order Reduction in Symbolic State Space Exploration ? R. Alur R.K. Brayton T.A. Henzinger…
Cited by 43 (0 self) – Add To MetaCart

A State Graph Manipulator Tool for Real-Time System Specification and Verification
by Pao-Ann Hsiung, Farn Wang — 1998 — In Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications (RTCSA
… state-space exploration: an integration of partial order reduction techniques and symbolic state-space…
Cited by 9 (5 self) – Add To MetaCart

State Graph Manipulators (SGM)
by Pao-Ann Hsiung and Farn Wang, Farn Wang — 1999
… partial order reductions in symbolic state-space exploration: an integration of partial order reduction…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB