1.
Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System
基于原型验证系统的自稳定算法形式化验证
2.
SystemC～(FL) Modeling Verification of Hardware Design System Using the SPIN Model Checker;
硬件系统SystemC～（FL）设计模型的SPIN验证
3.
Model Validation and Code Skeleton Generation of ParaModel System
ParaModel系统模型验证与代码框架生成
4.
Model checking of plane landing control system based on uppaal
基于uppaal的飞机着陆控制系统模型验证
5.
Design and Verification of New Intelligent Lighting Control System
新型智能照明控制系统的设计与验证
6.
Formal Verification for Communication Protocol of CBTC System Based on Probabilistic Model Checking
概率模型检验的CBTC系统通信协议的形式化验证
7.
Model Transformation Used for Model Verification of CNC System
用于计算机数控系统模型层验证的模型转换
8.
The Prototype Research of the DC Picture-taking System Based on Photogrammetry Technology;
基于摄影测量的证照图像采集系统的原型研究
9.
Reasoning Model of Agent and Verification System Based on Dynamic Fuzzy Logic(DFL);
基于动态模糊逻辑（DFL）的Agent推理模型及验证系统
10.
Research on Verification of Secure Operating System Based on Model Checking
基于模型检测的安全操作系统验证方法研究
11.
Control and Formal Verification of Hybrid System Using MLD Model
基于MLD模型的混杂系统控制及其形式验证研究
12.
Design and Implementation of a Small-sized Voice Identity Recognition System Based on TMS320C6713
基于TMS320C6713的小型语音身份验证系统的设计及实现
13.
Equivalence Checking between System Level Model and RTL Implementation
系统级模型与RTL实现的等价性验证方法
14.
Integration and Validation of an On-board Emission Measurement System for Heavy-duty Vehicles
重型车辆车载排放测试系统的集成和验证
15.
Analysis and verification of C~4ISR system capability requirements based on UML model
基于UML模型的C~4ISR系统能力需求分析与验证
16.
Model-driven High-level Design and Verification for Complex Reactive System
模型驱动的复杂反应式系统顶层设计与验证
17.
Dynamic model of normative multi-agent system and its property verification mechanism
规范多agent系统动态模型及其属性验证机制
18.
Ground Simulation System for Validation of Micro-Satellite Proximity Operations
微型航天器近旁操作地面仿真验证系统