Correct by Construction - int main() { return 0; }

似乎早就不是什么新名词了 + 已经BuzzWord（？）化了……不过还是有必要了解一下

读http://assured-cloud-computing.illinois.edu/files/2014/03/IBOS-A-Correct-By-Construction-Modular-Browser.pdf时遇到的