作者: chttl5566 2017年在 PTT 的推文記錄

※ 選擇年份: 所有年份(2) 2017年(2)
※ 選擇看板: 所有看板(5) Tech_Job(3) Gossiping(2)

2017年在Gossiping板第2篇~第1篇

+228 Re: [問卦] 讀通計算機組織對寫程式有什麼幫助？ - Gossiping 板

作者: jserv (松鼠) 140.116.245.162 (台灣) 2017-11-13 00:54:13

→ chttl5566: 好久沒在台灣看到有人提到CBMC model checker了
上次還跟一個在微軟研究院的德國佬討論Z3
微軟用Z3來驗證hyper-v的正確性
應該是說 VCC 跟 Z3 381F 11-13 16:03
-113 [ＦＢ] 壹電視吳怡萱為何要放大"孩子"脫序行為 - Gossiping 板

作者: tigerzz3 (CC) 59.120.195.222 (台灣) 2017-07-25 13:09:14

噓 chttl5566: 你們家的前輩可不是這樣對待學生的 35F 07-25 13:12