In this article, Eric Allen discusses assertions, introduces temporal logic, and describes a tool for processing temporal logic assertions in your programs.

• 在本文中,Eric Allen将讨论断言,介绍时态逻辑并描述用于处理程序中时态逻辑断言的工具。