作者ehong1 (ehong)
看板C_and_CPP
标题[问题] model checking 的猪头问题
时间Thu Jun 4 01:28:53 2009
小妹目前被一个 project 整得快哭出来了 ￥(╯-╰)/
请问板上有使用过 model checking 软体的大大吗
目前在搞 CBMC 不过卡在 eclipse 装不起来 一整个苦脑中
有没有电脑高手能推荐几个较容易上手的软体 或是入门的网站之类的
像是社群较多或有现成、详细的 manu 的软体或教学
如果有中文 manu 的更好 (/≧▽≦/)
新手 po 文 请批小力一点 -____-" THX
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.135.99.98
1F：推 gangi:magic 不错用 06/04 01:36
2F：→ ehong1:magic失败耶 早知道就不读资管所了 超爆肝的 (:◎)≡ 06/04 01:40
3F：→ ehong1:g 大 可以再教详细一点吗 06/04 01:41