1. Automatic predicate abstraction of C programs;Ball,2001
2. Counterexample-guided abstraction refinement;Clarke,2000
3. Model checking partial state spaces with 3-valued temporal logics;Bruns,1999
4. On the consistency, expressiveness, and precision of partial modeling formalisms;Wei;Inf. Comput.,2011
5. 3-valued abstraction: more precision at less cost;Shoham;Inf. Comput.,2008