benmandrew/prop-goal-weakening

Weakening Goals in Logical Specifications — ABZ 2025 paper

语言：OCaml · GitHub 星标：1 · Fork：0

话题：formal-methods · specification-weakening · temporal-logic

在 GitHub 上查看原仓库