DOCUMENT RESOURCES FOR EVERYONE
Documents tagged
Documents Hybrid BDD and All-SAT Method for Model Checking Orna Grumberg Joint work with Assaf Schuster and...

Slide 1Hybrid BDD and All-SAT Method for Model Checking Orna Grumberg Joint work with Assaf Schuster and Avi Yadgar Technion – Israel Institute of Technology Slide 2 Contribution…