形式方法的回报

读研究生时，我曾连续两个学期担任本科生形式化方法课程的助教。虽然在我的职业生涯中很少使用过完整的形式化方法，但我发现自己几乎无时无刻不在非正式地运用它们。

大约一年前，福图恩·布霍尔茨让我重新接触了形式化方法。我又尝试了一次，却在证明过程中迷失了方向，最终还是放弃了……