随着软件系统日益复杂,提高软件可靠性也迫在眉睫,在严重的情况下会给国家安全、经济带来不可估量的损失。然而在提高软件可靠性方......

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