RuleBase: An Industry-Oriented Formal Verification Tool.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver

Browse the full DAC paper archive.