Author:
Heyman Tamir,Geist Danny,Grumberg Orna,Schuster Assaf
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Basonov, S.: Parallel Implementation of BDD on DSM Systems, M.Sc. thesis, Computer Science Department, Technion (1998)
2. Beer, I., Ben-David, S., Eisner, C., Landver, A.: Rulebase: an industry-oriented formal verification tool. In: 33rd Design Automation Conference, pp. 655–660 (1996)
3. Beer, I., Ben-David, S., Landver, A.: On-the-fly model checking of rctl formulas. In: 10th Computer Aided Verification, pp. 184–194 (1998)
4. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)
5. Cabodi, G., Camurati, P., Que, S.: Improved reachability analysis of large fsm. In: Proceedings of the IEEE International Conference on Computer Aided Design, pp. 354–360. IEEE Computer Society Press, Los Alamitos (1996)
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Multi-core Decision Diagrams;Handbook of Parallel Constraint Reasoning;2018
2. Parallel A* for State-Space Search;Handbook of Parallel Constraint Reasoning;2018
3. Binary Decision Diagrams;Handbook of Model Checking;2018
4. Sylvan: multi-core framework for decision diagrams;International Journal on Software Tools for Technology Transfer;2016-10-19
5. Some recent advances in automated analysis;International Journal on Software Tools for Technology Transfer;2015-10-13