Symbolic guided search for CTL model checking
Roderick Bloem, Kavita Ravi, Fabio Somenzi · 2000
CTL model checking of complex systems often suffers from the state-explosion problem. We propose using Symbolic Guided Search to avoid difficult-to-represent sections of the state space and prevent state explosion from occurring.