Searching for "Symmetry and Reduced Symmetry in Model Checking." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Symmetry and reduced symmetry in model checking
by A. Prasad Sistla — 2001 — In Computer Aided Verification: 13th International Conference, CAV 2001
… Symmetry and Reduced Symmetry in Model Checking \Lambda A. Prasad Sistla Department…
Cited by 9 (0 self) – Add To MetaCart

Symmetry and Reduced Symmetry
by In Model Checking, A. Prasad Sistla, Patrice Godefroid — 2001 — In Computer Aided Verification: 13th International Conference, CAV 2001
…Symmetry and Reduced Symmetry in Model Checking ? A. Prasad Sistla 1 Patrice Godefroid 2 1…
Add To MetaCart

Showing 1 through 2.

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