[問題] model checking 的豬頭問題

看板C_and_CPP (C/C++)作者 (ehong)時間16年前 (2009/06/04 01:28), 編輯推噓1(102)
留言3則, 2人參與, 最新討論串1/1
小妹目前被一個 project 整得快哭出來了 ¥(╯-╰)/ 請問板上有使用過 model checking 軟體的大大嗎 目前在搞 CBMC 不過卡在 eclipse 裝不起來 一整個苦腦中 有沒有電腦高手能推荐幾個較容易上手的軟體 或是入門的網站之類的 像是社群較多或有現成、詳細的 manu 的軟體或教學 如果有中文 manu 的更好 (/≧▽≦/) 新手 po 文 請批小力一點 -____-" THX -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.135.99.98

06/04 01:36, , 1F
magic 不錯用
06/04 01:36, 1F

06/04 01:40, , 2F
magic失敗耶 早知道就不讀資管所了 超爆肝的 (:◎)≡
06/04 01:40, 2F

06/04 01:41, , 3F
g 大 可以再教詳細一點嗎
06/04 01:41, 3F
文章代碼(AID): #1A9hBMJT (C_and_CPP)
文章代碼(AID): #1A9hBMJT (C_and_CPP)