| Document Date: 2012-06-06 17:57:57
Open Document File Size: 297,59 KBShare Result on Facebook
City Counterexample / / Company CNF / ABC / / Country United States / / / Facility Synthesis Research Center EECS Department University of California / / IndustryTerm verification algorithm / important algorithm / mature integrated verification systems / bit-level symbolic model checking algorithm / learning algorithm / / Organization University of California / Berkeley / IMC / / Person Propagation / S. Jang / Ken McMillan / Robert Brayton / Alan Mishchenko / Aaron Bradley / / Position straight-forward / Cube Forward / / ProvinceOrState California / / Technology important algorithm / learning algorithm / main algorithm / bit-level symbolic model checking algorithm / CAV / PDR The PDR algorithm / verification algorithm / simulation / PDR algorithm / published algorithm / / URL http /
SocialTag |
Efficient Implementation of Property Directed Reachability∗ Niklas Een, Alan Mishchenko, Robert Brayton {een,alanmi,brayton}@eecs.berkeley.edu Berkeley Verification and Synthesis Research Center EECS Department Univers