Author:
Qian Junyan,Wu Juan,Zhao Lingzhong,Guo Yunchuan
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering
Reference55 articles.
1. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. Cambridge, Massachusetts, London, England, MIT Press, 1999, 35–95.
2. K. L. McMillan. Class project on BDD-based verification. Private Communication, EM Clarke, 1987.
3. A. Biere, A. Cimatti, E. M. Clarke, et al.. Symbolic model checking using SAT procedures instead of BDDs. Proceedings of the 36th Annual IEEE/ACM Design Automation Conference, New Orleans, LA, USA, June 1999, 317–320.
4. A. Biere, A. Cimatti, E. M. Clarke, et al.. Symbolic model checking without BDDs. Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Amsterdam, the Netherlands, March 1999, 193–207.
5. K. L. McMillan. Applying SAT methods in un bounded symbolic model checking. Computer Aided Verification, Copenhagen, Denmark, July 2002, 250–264.