This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Wei-Ngan Chin
A grouping.
Wei-Ngan Chin: completeness of separation-logic proof systems for pointer programs (three papers with Tatsuta), plus a decidable fragment with inductive predicates and arithmetic, and SL-COMP.
7 references
SL-COMP: Competition of Solvers for Separation Logic
Mihaela Sighireanu and others (2019) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
Completeness and expressiveness of pointer program verification by separation logic
Makoto Tatsuta and others (2019) · Information and Computation · Elsevier
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
Quang Loc Le and others (2017) · Computer Aided Verification · Springer
Completeness of separation logic with inductive definitions for program verification
Makoto Tatsuta and others (2014) · International Conference on Software Engineering and Formal Methods · Springer
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta and others (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE
Enhancing Program Verification with Lemmas
Huu Hai Nguyen and others (2008) · Lecture notes in computer science · Springer Science+Business Media
Automated Verification of Shape and Size Properties Via Separation Logic
Huu Hai Nguyen and others (2007) · Springer Berlin Heidelberg