Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.

Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson

Browse the full FM paper archive.