形式化验证标杆案例
高速飞车形式化验证
测评中心车联网测评平台
望安形式化验证工具
望安科技为航天科工（磁悬浮与电磁推进技术总体部）正在研发的时速>1000km/h的高速飞行列车提供安全验证，为全国首例时速>1000km/h的高速飞车研发提供更高等级安全保障。
望安科技与中国软件测评中心达成合作，WAVC已经集成到测评中心车联网测评平台中用于相关项目的测试。
望安科技与某军科院提供了多款自研形式化工具，提高开发人员的效率，为军工软件代码的安全性、可靠性保驾护航。
望安科技与背景航天方舟空间技术有限公司实现战略合作。公司提供的形式化验证方案帮助航天方舟的返回式航天器关键技术通过最高水平的形式化验证，提高其安全性和可靠性。
返回式航天器高安全关键系统形式化验证
|
|
地址：浙江省杭州市余杭区创鑫时代广场2号楼（浙江人才大厦）1001室
邮箱：wangan@wonsec.com
电话：400-675-8118
扫描二维码
关注微信公众号
扫描二维码
关注微信视频号