MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Partitioning and Symbolic 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.

ATOM

Efficient Ordering of State Variables and Transition Relation Partitions in Symbolic Model Checking
by Anand Srivastav, Mathias Block, Mathias Block, Clemens Gröpl, Clemens Gropl, Harry Preuß, Harry Preu, Hans Jürgen Prömel, Hans Jurgen Promel — 1998
… are the computation of good orders of state variables and transition relation partitions. Existing model checking…
Add To MetaCart

Efficient Ordering of State Variables and Transition Relation Partitions in Symbolic Model Checking
by Mathias Block, Clemens Gröpl, Harry Preuß, Hans Jürgen Prömel, Anand Srivastav — 1997
…Efficient ordering of state variables and transition relation partitions in symbolic model checking…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 2.

ATOM

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