viperproject/viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.

语言：Scala · GitHub 星标：16 · Fork：18

话题：verification · viper

在 GitHub 上查看原仓库