一个

• ARiAT公司 ARiAT——算术理论中的高级推理

B类

• 超越线性动力系统

E类

• 埃尔莎 欧洲人工智能安全灯塔

F类

• 展览会 公平：金融服务业负责任采用人工智能的负责任创新框架
• FUN2型号 从基于功能到基于模型的DEep学习自动概率推理

R（右）

• 关于控制的推理
• ReCount—原型

一个

• 异构多核程序设计的高级形式化验证技术
• 影响技术 情感健康个人技术
• 使用PRISM进行自动化定量软件验证
• 概率程序的自动验证
• 自主无处不在的感知

C类

• CESAR公司 安全相关嵌入式系统的低成本方法和过程
• 连接-IP CONNECT-IP：永恒软件密集型网络系统的紧急连接器
• CPROVER公司 跨抽象层的并发软件验证
• CSP模型检查 CSP模型检验：新技术和新技术

E类

• 固件的有效验证
• 使用复制组件对软件进行有效验证
• EPSRC无人机自主 经过工程验证的多用途无人机的新基础结构

F类

• 财务总监

G公司

• 游戏 游戏：用于设计和验证的游戏
• 抽象精化的泛化算子
• 约束满足问题的Groebner基技术

米

• 移动机器人 移动自主计划拨款：安全、信任和诚信
• 模型检验偏序状态空间 模型检验偏序状态空间的抽象发现与精化
• 资源受限的定时系统模型检验：算法和复杂性
• 基于模型的嵌入式系统测试生成 基于模型的可靠嵌入式系统测试生成
• 定时系统的模型检查 时间系统的模型检验算法

N个

• 安全性和模型检查的新方法
• 有向图和超图的宽度概念 有向图和超图的宽度概念：基础和应用

P（P）

• 平克特 验证网络软件中的更改和升级
• 可预测的软件系统
• 棱镜 PRISMATIC：统一层次概率验证工具

问

• 定量验证：从模型检验到模型测量

S公司

• SCorCH公司 SCorCH：功能硬件的安全代码

T型

• 数学的社会机器
• 走向随机系统的综合验证
• 基于传感器的无限状态验证方法 基于通用传感器的无限系统建模和验证方法
• SPKI/SDSI的信任度量

U型

• 普适计算 为普适计算打造一个国际大挑战社区
• 优比瓦尔 UbiVal：验证无处不在的计算应用和基础设施的基本方法

V（V）

• 共享内存并发软件的验证
• 多核/SoC体系结构的验证通信协议
• 验证ML语言家族的属性
• VERIPACE公司 VERIPACE：心脏起搏器软件的设计、分析和合成工具
• 真实软件 VERIWARE：从软件验证到所有软件验证