Formality 形式验证中文图形使用指南

yjpbeyond · 发表于 2013-2-4 19:22:55

KT咨询专注于ICT高科技行业 EETOP官方微博 EETOP管理员微博 EETOP人人网开源硬件微博

yjpbeyond · 发表于 2013-2-4 19:25:08

发表于 2012-10-14 10:47 | 只看该作者我顶！

yjpbeyond · 发表于 2013-2-4 19:26:27

中文版，图形化操作，已试，很好用！
Formality使用指南.rar (993.79 KB)
Formality使用指南
下载次数: 551
2012-9-13 10:42下载消耗资产 1 信元下载支出 -1 信元

nbuzs · 发表于 2013-3-14 14:53:53

入门很好

cadance · 发表于 2013-3-14 20:29:38

thanks for sharing

kangm · 发表于 2013-3-26 19:50:13

很不错好

Anakan · 发表于 2013-3-27 10:31:27

xie xie fen xiang bu cuo

macray0 · 发表于 2013-4-1 00:56:58

非常齐全

even_ryen · 发表于 2013-4-1 15:53:37

谢谢,下来看看

husthuige · 发表于 2013-4-8 20:17:41

资料不错就是太少了

[资料] Formality 形式验证中文图形使用指南