Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Aagaard, M.D., Jones, R.B., Seger, C.-J.H.: Combining theorem proving and trajectory evaluation in an industrial environment. In: Design Automation Conference (DAC), pp. 538–541. ACM/IEEE (1998)
2. Agerholm, S., Skjodt, H.: Automating a model checker for recursive modal assertions in HOL. Technical Report 92, Aarhus University (January 1990)
3. Bryant, R.E.: Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys 24(3), 293–318 (1992)
4. The BuDDy ROBDD Package (2002),
http://www.itu.dk/research/buddy
5. Burch, J.R., Clarke, E.M., Long, D.E.: Representing circuits more efficiently in symbolic model checking. In: Proceedings of the ACM Design Automation Conference (1991)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献