research
∙
02/04/2020
Complete Entailment Checking for Separation Logic with Inductive Definitions
In [A], we proposed a novel decision procedure for entailment checking i...
research
∙
01/17/2020