CADO是一个有用的,小的,成熟的代码生成专门设计的标准模板与嵌入的宏语言。它是有用的,源于一个共同的项目命名为生成源代码和其他相关内容(测试,文档,configuations等)。
上一个软件:AProVE 1.2
下一个软件:RCUNIT 0.9