Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. - Kairong Qian; Albert Nymeyer; Steven Susanto (FORTE, 2005)

Experiments with Multiple Abstraction Heuristics in Symbolic Verification. - Kairong Qian; Albert Nymeyer; Steven Susanto (SARA, 2005)