Publisher
Springer International Publishing
Reference24 articles.
1. Allen, R., Kennedy, K.: Automatic translation of fortran programs to vector form. ACM Trans. Program. Lang. Syst. 9(4), 491–542 (1987)
2. Beyer, D.: SV-COMP 2017–6th International Conference on Software Verification (2017).
https://sv-comp.sosy-lab.org
3. Lecture Notes in Computer Science;D Beyer,2011
4. Lecture Notes in Computer Science;B Blanchet,2002
5. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proceedings of the PLDI 2003, pp. 196–207. ACM, New York (2003)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献