Temporal logic is a formalism used to describe how a program state will change with time.

  • 时态逻辑是用于描述程序状态如何随时间而更改的形式体系。
目录 查词历史