作者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