处理一个不自由的世界的唯一方法是变得如此绝对自由,以至于你的存在本身就是一种反叛。
数学不是沿着一条清理得很好的高速公路小心行进,而是进入一个陌生的荒野的旅程,探险者常常会迷路。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。