PSL（property specification language）是一种用于描述并行系统的属性规约语言，包括线性时序逻辑FL（foundation language）和分支时序逻......