View of An Entailment Checker for Separation Logic with Inductive Definitions

Return to Article Details An Entailment Checker for Separation Logic with Inductive Definitions Download Download PDF