grayswandyr/electrod

Formal analysis for the Electrod formal specification language

语言：OCaml · GitHub 星标：14 · Fork：5

话题：alloy · formal-methods · formal-specification · formal-verification

在 GitHub 上查看原仓库