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.
Quang Loc Le
A grouping.
Separation logic applied as well as decided: a decidable fragment with inductive predicates and arithmetic, the SL-COMP benchmark, and the enhancement of symbolic execution for test generation from heap-based programs. That last is close to the corpus's only record on generating tests from the logic, which is otherwise dominated by decidability results and by analysers.
3 references
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
Long H. Pham and others (2019) · Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings · Springer
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
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic
Quang Loc Le and others (2017) · Computer Aided Verification · Springer