AIVF '26 ·
智能体产业研讨会
日程
嘉宾
Wiki
Wiki
›
概念
› 形式化方法 / 验证
形式化方法 / 验证
概念
方法论
方法论
出现于 6 场分享
简介
用数学化规约与验证保障复杂系统正确性；董劲松以汽车安全等案例讲解其用于 Agent 程序生成。
出现于 · 6 场
13:30–14:30
Panel：Agent 软件工程的理论基础与工程实践
09:10–09:25
硅基时间时刻
11:40–11:55
AI 时代的编程语言演进
13:15–13:30
Formal Method by Agents
14:45–14:55
开源项目实践 ① — Arc
15:05–15:15
开源项目实践 ③ — DORA/Octos
相关实体
智能体 / Agent
·6
大模型 LLM
·5
Anthropic（Claude）
·4
Rust
·4
软件工厂
·4
Token / 算力经济
·4
Agentic AI
·3
AI 编程 / Coding
·3