Author:
Bradley Aaron R.,Manna Zohar
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. When Is a Formula a Loop Invariant?;Lecture Notes in Computer Science;2015
2. Generating Property-Directed Potential Invariants By Backward Analysis;Electronic Proceedings in Theoretical Computer Science;2012-12-29
3. Understanding IC3;Theory and Applications of Satisfiability Testing – SAT 2012;2012
4. Property-directed incremental invariant generation;Formal Aspects of Computing;2008-07
5. Program analysis as constraint solving;ACM SIGPLAN Notices;2008-05-30