Safety property comparison between Grbner bases and BDD-based model checking method.

Saifulza Alwi, Yasutaka Fujimoto

Browse the full ICARCV paper archive.