Author:
Xu Jiazhao,Williams Mark,Mony Hari,Baumgartner Jason
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference24 articles.
1. Burch JR, Clarke EM, Long DE (August 1991) Symbolic model checking with partitioned transition relations. In: International conference on very large scale integration, pp 49–58
2. Moon I-H, Hachtel GD, Somenzi F (November 2000) ‘Border-block triangular form and conjunction schedule in image computation. In: International conference on formal methods in computer-aided design, pp 73–90
3. McMillan K (July 2003) Interpolation and SAT-based model checking. In: International conference on computer-aided verification, pp 1–13
4. Bradley A (2011) SAT-based model checking without unrolling. In: International conference on verification, model checking, and abstract interpretation, pp 70–87
5. Biere A, Cimatti A, Clarke EM, Zhu Y (1999) Symbolic model checking without BDDs. In: Tools and algorithms for the construction and analysis of systems, pp 193–207
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献