Explaining counterexamples using causality. (2009)

by Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J Trefler
Venue:In 21st Annual Conference on Computer Aided Verification (CAV ’09),