Author:
Fraer Ranan,Kamhi Gila,Ziv Barukh,Vardi Moshe Y.,Fix Limor
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Ravi, K., Somenzi, F.: High Density Reachability Analysis. In: Proceedings of ICCAD 1995 (1995)
2. Ganai, M., Aziz, A.: Efficient Coverage Directed State Space Search. In: Proceedings of IWLS 1998 (1998)
3. Yuan, J., Shen, J., Abraham, J., Aziz, A.: On Combining Formal and Informal Verification. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254. Springer, Heidelberg (1997)
4. Yang, C., Dill, D.: Validation with Guided Search of the State Space. In: Proceedings of DAC 1998 (1998)
5. Aziz, A., Kukula, J., Shiple, T.: Hybrid Verification Using Saturated Simulation. In: Proceedings of DAC 1998 (1998)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Identification of Effective Guidance Hints for Better Design Debugging by Formal Methods;Communications in Computer and Information Science;2019
2. Equivalence Checking;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14
3. Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking;International Journal on Software Tools for Technology Transfer;2010-09-16
4. Survey on Directed Model Checking;Model Checking and Artificial Intelligence;2009
5. GSTE is partitioned model checking;Formal Methods in System Design;2007-05-26