使用 Rust 开发安全关键系统的公司需要经过形式化方法（如 Verus）培训的工程师，但高质量的培训资源稀缺。
创建涵盖 Verus 验证技术的视频课程、交互式练习和认证考试。
科技公司会赞助员工培训并支付认证项目费用。
在扩展到高级验证模式之前，先从核心概念入手。
狭窄的受众可能会限制初始市场规模。
rustsecuritytraining
Verus 验证培训
开发用于 Rust 中 Verus 形式化验证的在线课程和认证。采用 Rust 的企业需要可证明正确的代码。
为什么是现在
任务关键型 Rust 的采用正在增长，催生了对形式化验证专业知识的需求。
- 做给谁
- 关键系统中的 Rust 开发人员
- 商业模式
- 课程销售和认证
- 投入量级
- 几个月