English Separation logic Cited by user Siddharthist on 11 Dec 2023 In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs.