Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets.

Bernard Blackham, Mark H. Liffiton, Gernot Heiser

Browse the full RTAS paper archive.