epfl-lara/stainless

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

语言：Scala · GitHub 星标：410 · Fork：62

话题：cvc4 · cvc5 · formal-methods · inox · model-checking · proof-assistant · scala · smt

在 GitHub 上查看原仓库