李珊 柳青 阳小华 武文丽 刘佳 徐英伟 刘宗田 褚晓滨 黄永忠 余童兰 韩俊刚 周德新 俞伟 李暾 徐宁仪 李思昆 王黎霞 窦勇 沈绪榜 刘杰 孔兵 刘树锟 周祖成 曾泽沧 李彤 罗江琴 郭阳 孟李林 罗飞 王旭姣

事务处理程序 流水线 随机测试激励 事务 验证方法 准凭证 断言验证 ARINC429 踪迹缓冲 通讯板卡 动态隐式断言执行 程序不变量 功能测试 模拟矢量自动生成 生成器 凭证 程序动态分析 海量存储 单点登录 程序正确性 契约 指令级并行 面向对象 网络并行环境 安全断言标记语言 验证 设计 检测 开放式验证库 程序检验