Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.

Kairong Qian, Albert Nymeyer, Steven Susanto

Browse the full FORTE paper archive.