形式化验证方法相关论文
本文系统详尽阐述了FOP编程范式的思想,通过类比,指出FOP与面向方面编程范式的异同。同时还说明FOP给形式化验证技术带来的挑战。......
信息物理系统被广泛应用于交通、医疗、能源等多个重要发展领域。控制器局域网（CAN）是一种现场总线，该总线可应用于车载信息物理系统......
ASIP(Application Specific Instruction-set Processor)是针对特定应用领域而设计的专用指令集处理器，它兼具ASIC(Application Spe......
模型检验是近年来在各种硬件和软件设计中得到广泛应用的一种形式化验证方法.本文首先介绍了描述系统行为的Kripke结构和描述系统......
微服务架构作为一种分布式的架构,因其良好的平台兼容性、灵活的动态扩展能力、强大的容错能力等特点,在业内引起了越来越多的关注......
摘要：随着信息技术的发展，软硬件系统越来越复杂，其中软硬件系统设计的正确性至关重要。形式化验证方法在硬件设计和软件开发等领域发......
在核安全级数字化仪控系统中,人机交互安全控制显示装置的显示内容和控制逻辑由图形化组态工具实现。由于显示内容规模庞大,结构复......
概念模型验证是保证和提高仿真可信性的重要手段，是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静......
随着计算机系统应用的深入和广泛，系统安全性越来越成为人们关注的焦点，形式化模型检验是解决系统特性验证问题的一种有效途径，用有限......
形式化方法在硬件、软件的设计和验证中的应用越来越广泛,基于不同理论的形式化验证工具应运而生。本文对形式化验证工具定理证明......
编译器的安全可信问题日益引起重视,特别是在安全关键系统中,编译器的误编译将会造成重大的损失。消除误编译的传统方法是大量的测......
