heartpunk/symex-is-not-quite-all-you-need

Draft paper: extracting formal specs from PL implementations using symbolic execution

语言：TeX · GitHub 星标：4 · Fork：0

话题：academic-paper · formal-methods · formal-specification · symbolic-execution

在 GitHub 上查看原仓库