望安科技形式化验证工具平台战略合作伙伴成长计划

战略合作伙伴的愿景与价值

此次望安科技战略合作伙伴招募，旨在通过我们提供的形式化验证工具、服务和知识，同航空航天、汽车、国防、物联网、基础软件等工业领域的不同企业或组织建立深刻的战略合作关系。合作形式上，望安通过提供基于形式化验证的工具和实施服务，为您所在企业或组织代码开发和测试环节赋能。同时我们也期待通过沟通和深入交流，了解您所在领域在开发测试目前面临的业务痛点，以期通过前沿技术和行业知识的相互弥合和互补完善各自的双方业务产品和流程，最终走向共创共赢。

具体而言，作为望安形式化验证平台首批战略合作伙伴，在未来的一年内，您和您的企业/组织可以享受以下权益：

作为望安科技团队的首批战略合作伙伴，您可以得到基于望安C代码形式化验证平台W-AVC的形式化验证服务，为您的C代码项目免费排查传统测试手段难以发现的漏洞。W-AVC基于形式化验证技术，排查C代码中的缺陷和安全隐患 ；同时通过开发验证⼈员编写的规约基准代码，⾃动检查代码中的安全漏洞，在开发流程的早期发现软件缺陷，增强现代⼤型软件的安全性和可靠性。关于实施服务细节，详见「验证实施服务」一节。

作为望安的战略合作伙伴，您可以第一时间通过内测方式，使用W-AVC的最新功能，提前接触到望安最优秀的产品与服务，伴随望安一起成长。

在抢先体验中，测试反馈将至关重要。作为合作伙伴，您可以随时与望安的产品服务人员沟通，我们将根据反馈和需求，对新功能进行详细调整。

您将获得专属邀请，参加我们每季度一次的非公开的线上讲座，由形式化验证专家和软件安全领域的权威专家主讲，共享行业最新动态和深度技术交流。

战略合作伙伴计划不仅简单的技术共享，望安希望通过此计划，与用户建立多方面、深联系的合作关系，用户可以借助平台，增强您在行业中的品牌影响力。望安将向战略伙伴开放企业推介、员工招聘、平台广告栏位等重点宣传位，让品牌宣传更成熟、有效。

与此同时，作为首批战略合作伙伴，我们希望您的企业或组织：

如果您的公司/组织符合上述条件，请点击底部「阅读原文」或进入下方小程序码，成为我们的战略合作伙伴：

本次我们将根据申请顺序和行业产品契合度，从申请名单出3个望安首批战略合作伙伴。本次战略伙伴申请活动截止2024年1月31日结束。