MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Combining Partial Order and Symmetry Reductions." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Combining Partial Order and Symmetry Reductions
by E. Allen Emerson, Somesh Jha, Doron Peled — 1997 — Tools and Algorithms for the Construction and Analysis of Systems
…Combining Partial Order and Symmetry Reductions E. Allen Emerson 1 ? and Somesh Jha 2…
Cited by 16 (0 self) – Add To MetaCart

Symmetry and induction in model checking
by Edmund M. Clarke, Stephen Brookes — 1995 — In Computer Science Today: Recent Trends and Developments
… discuss techniques to combine partial order and symmetry reduction techniques. 4. We present a formalism…
Cited by 4 (1 self) – Add To MetaCart

Symmetric Spin
by Dragan Bosnacki, Dennis Dams, Leszek Holenderski — 2000 — In International Journal on Software Tools for Technology Transfer
… the combination of partial order and symmetry reductions, see [8, 14]. Our work draws upon the ideas of Ip…
Cited by 25 (0 self) – Add To MetaCart

A Heuristic for Symmetry Reductions with Scalarsets
by Dragan Bosnacki, Dennis Dams, Leszek Holenderski — 2001
…, and more recently Godefroid, have studied the combination of partial order and symmetry reductions, see [9…
Cited by 13 (3 self) – Add To MetaCart

Symmetric Spin
by Dragan Bo Sna, Leszek Holenderski — 2000
… of partial order and symmetry reductions, see [8, 14]. Our work draws upon the ideas of Ip and Dill [17…
Add To MetaCart

Showing 1 through 5.

ATOM

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