项目作者： saucisson

项目描述：
Formal Modeling & Verification Platform

高级语言： Lua

项目主页： https://alban-linard.github.io/ardoises

项目地址: git://github.com/saucisson/ardoises.git

创建时间： 2016-12-30T20:52:20Z
项目社区：https://github.com/saucisson/ardoises
开源协议：MIT License
下载

Ardoises