The top documents tagged [hardwarehuge state space]
Symbolic Model Checking of Software
56 views