Verites/verigraph

Software specification and verification system based on graph rewriting

语言：Haskell · GitHub 星标：37 · Fork：5

话题：category-theory · graph · graph-grammars · graph-transformation-systems · haskell · verification · verigraph

在 GitHub 上查看原仓库