[問題] model checking 的豬頭問題
小妹目前被一個 project 整得快哭出來了 ￥(╯-╰)/
請問板上有使用過 model checking 軟體的大大嗎
目前在搞 CBMC 不過卡在 eclipse 裝不起來 一整個苦腦中
有沒有電腦高手能推荐幾個較容易上手的軟體 或是入門的網站之類的
像是社群較多或有現成、詳細的 manu 的軟體或教學
如果有中文 manu 的更好 (/≧▽≦/)
新手 po 文 請批小力一點 -____-" THX
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.135.99.98
推
06/04 01:36, , 1F
06/04 01:36, 1F
→
06/04 01:40, , 2F
06/04 01:40, 2F
→
06/04 01:41, , 3F
06/04 01:41, 3F
C_and_CPP 近期熱門文章
PTT數位生活區 即時熱門文章
