缩写	全称	中文释义
ALTL	Ased Linear Temporal Logic	基于线性时态逻辑