09′ 1/8 雜記

最近聽了兩場演講,一個是去年 Tuning Award winner 談如何用 model checking 去解決 state explositon 問題,而且已經實際用在工程上,例如 Intel 之前 Pentium CPU 設計上的 bug。這是他做了 27 年的問題,前前後後手下總共有五十幾個博士後,研究生以及其他人的貢獻。從理論(finite model theory)到實務(efficient algorithm)都講得非常精采。

Continue reading