Re: 程式...

看板Programming作者 (Har)時間18年前 (2006/08/10 02:52), 編輯推噓4(400)
留言4則, 1人參與, 最新討論串3/4 (看更多)
※ 引述《sd@bbs.ee.ntu.edu.tw (楓)》之銘言: : 怎麼去確認程式的正確性阿 : 如果有上千行的話,上億個執行結果 我認為你問的這個是一個很好的問題。雖然我在之前就想過, 並嘗試過一些解決方案。 至於那些建議慢慢閱讀說明書,自己去搜查的……嗯,不覺得 這不是一個很有效率的方法嗎。 老程序員常有的問題,就是以老生常談的方法去把一切當作理 所當然,而忽略了更新解決方案的潛在。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.111.158.3

08/10 03:24, , 1F
software engineering 有一支是在做
08/10 03:24, 1F

08/10 03:24, , 2F
verification 的, 其中又分model checking
08/10 03:24, 2F

08/10 03:24, , 3F
和 theorem proving 這兩大宗. 但不管是哪
08/10 03:24, 3F

08/10 03:25, , 4F
個,都有space explosion 的問題 (抖)
08/10 03:25, 4F
文章代碼(AID): #14sYxuIt (Programming)
討論串 (同標題文章)
本文引述了以下文章的的內容:
18年前, 08/10
以下文章回應了本文
4
4
18年前, 08/12
完整討論串 (本文為第 3 之 4 篇):
18年前, 08/10
0
1
4
4
18年前, 08/10
4
4
18年前, 08/12
文章代碼(AID): #14sYxuIt (Programming)