The top documents tagged [state explosion]
Towards High-Assurance Hypervisors
65 views
About Alternating Automata
65 views
Software Model Checking with SMT
75 views