用于描述和验证数字电路的一阶间隔时态逻辑

• 来源期刊: 西北工业大学学报
• 学科: 工学
• 关键词: 命题时态逻辑 一阶谓词逻辑 METRIC逻辑
• 年，卷（期）: 1999,（1）
• 页码范围: 142-147
• 页数: 6页
• 分类号: TP331.2
• 语种: 中文

摘要

提出一种新的时态逻辑??一阶间隔时态逻辑(FOITL),它是扩充了间隔时间算子的一阶时态逻辑.它能精确地描述数字电路的时间特性,支持连续和离散的时间结构并能对时间信息进行推理.该文给出了FOITL的基本框架,并对其进行了验证.