文件名称：论文研究-Model-checking of Linear-Time Properties in possibilistic Kripke structure.pdf
文件大小：470KB
文件格式：PDF
更新时间：2022-09-05 07:02:19
model-checking
线性时间性质在可能的Kripke结构中的模型检测，李丽君，李永明，首先,定义了可能的Kripke结构系统及可能性测度,并简单的介绍了如何使用线性时序逻辑(LTL)来描述线性时间属性.接下来又分别对安全性能�