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.
English Satisfiability modulo theories Cited by user Siddharthist on 04 Dec 2023 In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable.