艺术的真正用途是使不可见的东西变得可见。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.