VC Formal Workshop Evaluation Form

您的姓名，公司名称

Formal使用经验

以下六题是您对此次研讨会课程的评分

您对此次研讨会Formal and VC Formal Apps简介这部分的评价是满意的？

您对此次研讨会VC Formal 基础这部分的评价是满意的？

您对此次研讨会Connectivity Checking App介绍这部分的评价是满意的？

您对此次研讨会Connectivity Checking App实操课的评价是满意的?

您对此次研讨会Data Path Verification App介绍的评价是满意？

您对此次研讨会Data Path Verification App实操课的评价是满意的？

您学到了你期望学到的一切？

您对课程进度节奏的安排是？

您目前的项目有在用 Formal 吗?

您有计划在下个项目应用这些App吗?

在本次研讨会中，您已了解连接检查和数据路径验证应用程序的基本用法。请选择下两个您想要学习的应用程序:

您有什么建议，以利您以后参加研讨会的经历更完善？