In this paper, we use temporal specification for describing the properties of reactive, real-time systems.
针对反应式实时系统，我们使用时序规范来描述系统性质。
A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
应用推荐