基于形式化方法，
全面保障基础软硬件安全
形式化验证是指根据代码的形式规范或属性，使用数学的犯法证明其正确性或非正确性的一种技术手段
强大的高阶逻辑验证能力
支持交互式和自动化证明方式
采用一键式按钮给出形式化证明证据
高阶的形式逻辑及定理证明引擎
丰富的形式化建模能力
安全要求
符合标准的安全模型
函数式形式化建模语言
过程式形式化建模语言
源码自动转换
需求
设计
源码
支持多类形式化建模语言
可根据软硬件系统各类型文档构建对应模型
灵活的部署方式
友好的用户交互
▶支持本地部署、集成VSCode IDE；
▶支持公有云/私有云部署、集成Cloud IDE；
▶支持基于Web浏览器的前端界面
面向基础软硬件的形式化建模验证工具
|
|
地址：浙江省杭州市余杭区创鑫时代广场2号楼（浙江人才大厦）1001室
邮箱：wangan@wonsec.com
电话：400-675-8118
扫描二维码
关注微信公众号
扫描二维码
关注微信视频号