GTRECS2

GTRECS2:基于游戏和类型的递归方案的模型检查器。GTRecS(递归方案的游戏和类型)2:高阶递归方案的模型检查器和转换器。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换