Author:
Li Wenhua,Le Quang Loc,Song Yahui,Chin Wei-Ngan
Publisher
Springer Nature Singapore
Reference30 articles.
1. Infer Static Analyzer: Infer. https://fbinfer.com/. Accessed 02 June 2023
2. Pulse, an interprocedural memory safety analysis. https://github.com/facebook/infer/tree/main/infer/tests/codetoanalyze/java/pulse. Accessed 20 May 2023
3. Barnett, M., DeLine, R., Fähndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. J. Object Technol. 3(6), 27–56 (2004)
4. Chin, W.-N., David, C., Nguyen, H.H., Qin, S.: Enhancing modular OO verification with separation logic. ACM SIGPLAN Notices 43(1), 87–99 (2008)
5. Chin, W.-N., David, C., Nguyen, H.H., Qin, S.: Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Sci. Comput. Prog. 77(9), 1006–1036 (2012)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献