Author:
Armoni Roy,Fix Limor,Fraer Ranan,Huddleston Scott,Piterman Nir,Vardi Moshe Y.
Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. Beer, I., S. Ben-David, C. Eisner and A. Landver, RuleBase: An industry-oriented formal verification tool, in: Proc. 33rd Conference on Design Automation (1996), pp. 655–660
2. Biere, A., A. Cimatti, E. Clarke, M. Fujita and Y. Zhu, Symbolic model checking using SAT procedures instead of BDDs, in: Proc. 36th Design Automation Conference (1999), pp. 317–320
3. Verifying safety properties of a PowerPC[tm] microprocessor using symbolic model checking without BDDs;Biere,1999
4. Graph-based algorithms for boolean-function manipulation;Bryant;IEEE Trans. on Computers,1986
5. Claessen, K., Induction and state machines (1999), unpublished
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献