TyGuS/suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

语言：Scala · GitHub 星标：131 · Fork：21

话题：deductive-reasoning · hoare-logic · program-synthesis · scala · separation-logic · smt

在 GitHub 上查看原仓库