Tags
第 2 頁
Formal-Verification
一行程式碼都不執行，為什麼能證明程式「絕對沒有Bug」？形式化驗證與模型檢測的科學
型理論與 Curry-Howard 同構：命題=型別、證明=程式的深遠和諧
