This page has moved to https://blog.shuaizhang.cc/zh-hans/posts/programmer-should-know-formal-verification/.