The top documents tagged [set of initial states]
Distributed BDD-based Model Checking
43 views
I/O & Interface Automata
59 views
Regular Model Checking
37 views