Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic

Youngju Song, Minki Cho, Dongjae Lee +1

Contextual refinement and separation logics are successful verification techniques that are very different in nature. First, the former guarantees behavioral refinement between a c…