Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao Automated verification of shape, size and bag properties via user-defined predicates in separation logic. (English) Zbl 1243.68148 Sci. Comput. Program. 77, No. 9, 1006-1036 (2012). MSC: 68N30 68Q60 68T15 03B70 PDFBibTeX XMLCite \textit{W.-N. Chin} et al., Sci. Comput. Program. 77, No. 9, 1006--1036 (2012; Zbl 1243.68148) Full Text: DOI
Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao Enhancing modular OO verification with separation logic. (English) Zbl 1295.68082 Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 87-99 (2008). MSC: 68N30 68N19 68Q60 68T15 PDFBibTeX XMLCite \textit{W.-N. Chin} et al., in: Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '08, San Francisco, CA, USA, January 07--12, 2008. New York, NY: Association for Computing Machinery (ACM). 87--99 (2008; Zbl 1295.68082) Full Text: DOI
Nguyen, Huu Hai; David, Cristina; Qin, Shengchao; Chin, Wei-Ngan Automated verification of shape and size properties via separation logic. (English) Zbl 1132.68477 Cook, Byron (ed.) et al., Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69735-0/pbk). Lecture Notes in Computer Science 4349, 251-266 (2007). MSC: 68Q60 68N30 68P05 PDFBibTeX XMLCite \textit{H. H. Nguyen} et al., Lect. Notes Comput. Sci. 4349, 251--266 (2007; Zbl 1132.68477) Full Text: DOI Link