About the NCES Analyzer


Opening an NCES model


Obtaining a reachability graph.


Exploring a state space


Starting integrated tools.