国家金融科技测评中心与望安科技签署合作协议

国家金融科技测评中心与望安科技签署合作协议，双方将围绕信息技术产品形式化验证技术开展合作，推进双方技术和业务升级，促进形式化验证技术在金融、汽车等行业的推广应用。

国家金融科技测评中心作为一家独立的第三方专业技术检测机构，其主营业务是依据国际、国内和金融等行业有关标准规范，为全球银行卡和电子支付产业各方提供IC卡芯片、卡片、支付系统等的功能性及安全性检测评估服务。中心不但是金融行业专业的检测机构，国家认可的国家级检测中心，而且是国内外支付组织的国际检测实验室，可为全球银行卡和电子支付产业提供技术服务。

基于该合作协议，双方将充分发挥各自企业资源优势，开展密切交流，结合望安科技“形式化验证”核心技术能力，研发、创新技术能力及国家金融科技测评中心国际国内先进的技术标准规范，国际主流的先进检测技术能力，共同开展形式化验证方法研究、国内和国际信息安全测试认证业务，开展可持续发展的合作伙伴关系。

此次合作协议的签署标志着国家金融科技测评中心与望安科技的合作进入新的篇章，具有重要里程碑的意义。合作有利于双方充分发挥各自优势，实现资源共享、优势互补、互利共赢。