Pseudo-Exhaustive Verification of Rule Based Systems.

Rick Kuhn, Dylan Yaga, Raghu Kacker, Jeff Yu Lei, Vincent C. Hu

Browse the full SEKE paper archive.