Author:
Ravi Kavita,Somenzi Fabio
Publisher
Springer Berlin Heidelberg
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equivalence Checking;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14
2. Scalable reachability analysis via automated dynamic netlist-based hint generation;Formal Methods in System Design;2014-08-15
3. Biased Model Checking Using Flows;Tools and Algorithms for the Construction and Analysis of Systems;2011
4. Underapproximation for model-checking based on universal circuits;Information and Computation;2010-04
5. Survey on Directed Model Checking;Model Checking and Artificial Intelligence;2009