Automated verification of shape, size and bag properties via user-defined predicates in separation logic-Reference-Cited by-同舟云学术

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

Published:2012-08 Issue:9 Volume:77 Page:1006-1036
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Chin Wei-Ngan,David Cristina,Nguyen Huu Hai,Qin Shengchao

Publisher

Elsevier BV

Subject

Software

Reference61 articles.

1. The Spec# programming system: an overview;Barnett,2004

2. C. Barrett, A. Stump, C. Tinelli, The SMT-LIB standard: version 2.0, in: International Workshop on Satisfiability Modulo Theories. Informal proceedings, 2010.

3. Symbolic execution with separation logic;Berdine,2005

4. Smallfoot: modular automatic assertion checking with separation logic;Berdine,2006

5. A logic and decision procedure for predicate abstraction of heap-manipulating programs;Bingham,2006

Cited by 103 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. VST-A: A Foundationally Sound Annotation Verifier;Proceedings of the ACM on Programming Languages;2024-01-05

2. Verification Algorithms for Automated Separation Logic Verifiers;Lecture Notes in Computer Science;2024

3. A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions;ACM Transactions on Computational Logic;2023-01-18

4. Grand Strategies and Everyday Struggles Under the New Cold War and COVID-19: A Sociological Political Economy;Asia in the Old and New Cold Wars;2023

5. Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection;Programming Languages and Systems;2023