Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. International competition on software verification (SV-COMP).
http://sv-comp.sosy-lab.org/
2. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley Longman Publishing Co., Inc., Boston (1986)
3. Albarghouthi, A., McMillan, K.L.: Beautiful interpolants. In: Sharygina and Veith [18], pp. 313–329
4. Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. In: Launchbury, J., Mitchell, J.C. (eds.) POPL, pp. 1–3. ACM (2002)
5. Beyer, D., Cimatti, A., Griggio, A., Keremoglu, M.E., Sebastiani, R.: Software model checking via large-block encoding. In: FMCAD, pp. 25–32. IEEE (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sharper and Simpler Nonlinear Interpolants for Program Verification;Programming Languages and Systems;2017
2. Abstraction refinement guided by a learnt probabilistic model;ACM SIGPLAN Notices;2016-04-08
3. Abstraction refinement guided by a learnt probabilistic model;Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2016-01-11