为形式化规范语言创建交互式教程。面向从事关键系统工作的软件工程师。
对形式化方法日益增长的兴趣创造了对易于获取的学习资源的需求。
免费注册，生成贴合你技能的点子 —— 再把最好的那个深挖成一份完整报告。