Tools; Clocks; Synchronization; Integrated circuit modeling; Functional analysis; Space exploration;
机译:企业建模的正式验证框架和相关工具:应用于UEML
机译:使用SPR工具对安全模型进行形式验证
机译:使用SPR工具对安全模型进行正式验证
机译:Xprova:具有内置亚稳性建模的形式验证工具
机译:准延迟不敏感异步电路的正式建模与验证方法
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:kupc:用于建模和验证C程序的动态更新的正式工具