摘要:随着信息技术的快速发展,信息和通信技术( ICT)系统被广泛使用,因而其可靠性非常重要。本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论,主要从3种时序逻辑的语法、语义及它们的异同进行比较分析,为ICT的可靠性检测分析提供了理论借鉴。
关键词:语法 语义 时序逻辑 可靠性
单位:重庆文理学院机器视觉与智能信息系统重点实验室 重庆永川402160 贵州大学计算机科学与技术学院 贵州贵阳550025 贵州科学院 贵州贵阳550001
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社