描述和验证相关论文
跨时钟域(Clock Domain Crossing，CDC)设计和验证是SOC系统芯片设计的关键问题，本文讨论了异步FIFO的模型检验方法，利用模型检验......
本文通过对微内河操作系统Minix 3.0完整性属性的分析，认为操作系统完整性的策略可以用不干扰模型来描述，而保障系统完整性的安全机......
时间Petri网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型。组件级化简方法是TPN模型常用的分析方法。本文引入延迟时......
量化时态逻辑是在一阶逻辑的基础上，加上量化时态逻辑算子构成。支持离散和连续的时间结构，能精确表达数字电路中的时间信息并能对时......
DSRC协议是为ITS中短距离间通信的系统专门开发的通信协议。通过应用SDL语言对DSRC协议的描述和验证,提出了建立抽象化模型、环境......
