Author:
Beyer Dirk,Henzinger Thomas A.,Théoduloz Grégory
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;I. Balaban,2005
2. Ball, T., Rajamani, S.K.: The Slam project: Debugging system software via static analysis. In: Proc. POPL, pp. 1–3. ACM Press, New York (2002)
3. Beyer, D., Henzinger, T.A., Théoduloz, G.: Lazy shape analysis. Technical Report MTC-REPORT-2005-006, EPFL (2005)
4. Chaki, S., Clarke, E.M., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. IEEE Trans. Software Eng. 30(6), 388–402 (2004)
5. Chase, D.R., Wegman, M.N., Zadeck, F.K.: Analysis of pointers and structures. In: Proc. PLDI, pp. 296–310. ACM, New York (1990)
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献