Author:
Fraer Ranan,Kamhi Gila,Fix Limor,Vardi Moshe Y.
Subject
General Computer Science,Theoretical Computer Science
Reference11 articles.
1. K. Ravi, F. Somenzi. High Density Reachability Analysis. In Proceedings of International Conference on Computer-Aided Design, Santa Clara, CA, November 1995.
2. M. Ganai, A Aziz. Efficient Coverage Directed State Space Search. In Proceedings of IWLS'98.
3. J. Yuan, J. Shen, J. Abraham, and A. Aziz. On Combining Formal and Informal Verification. In Proceedings of the Computer Aided Verification Conf., July 1997.
4. C. Yang, D. Dill. Validation with Guided Search of the State Space. In Proceedings of DAC'98.
5. A. Aziz J. Kukula, T. Shiple. Hybrid Verification Using Saturated Simulation. In Proceedings of DAC'98.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Branching vs. Linear Time: Final Showdown;Tools and Algorithms for the Construction and Analysis of Systems;2001
2. Efficient Debugging in a Formal Verification Environment;Lecture Notes in Computer Science;2001