- 信息技术安全评估通用准则CCISO/IEC 15408IT产品信息安全认证EALGB/T 18336欧盟网络安全认证EUCCISO/IEC 15408欧洲网络弹性法案合规CRA软硬件机载系统/设备DO-178C/DO-254功能安全完整性SILIEC 61508汽车功能安全完整性ASILISO 26262商用密码产品GM/T 0028联邦信息安全处理标准FIPS140-3ISO 19790物联网平台安全评估标准SESIPISO/IEC 15408网络关键设备/网络安全专用产品GB 40050/42250无线电设备网络安全标准EN 18031道路车辆网络安全工程标准ISO/SAE 21434工业控制系统信息安全认证ISO 62443医疗健康软件网络安全标准IEC 81001
望安形式化建模验证工具
严格的“数学证明”，确保你的代码万无一失。
基于形式化方法，全面保障基础软硬件安全
形式化验证是指根据代码的形式规范或属性，是使用数学的方法证明其正确性或非正确性的一种技术手段
高阶的形式逻辑及定理证明引擎
强大的高阶逻辑验证能力支持交互式和自动化证明方式
采用一键式按钮给出形式化证明证据
丰富的形式化建模能力
支持多类形式化建模语言
可根据软硬件系统各类型文档构建对应模型
安全要求
符合标准的安全模型
需求
函数式形式化建模语言
设计
过程式形式化建模语言
源码
源码自动转换
灵活的部署方式
友好的用户交互
支持本地部署，集成VSCode IDE
支持公有云/私有云部署、集成Cloud IDE
支持基于Web浏览器的前端界面
![一对一专属客服 扫码获取认证资料](javascript:Site.hoverQrCode("//32759191.s21i.faiusr.com/4/ABUIABAEGAAg6uPXzgYotOuA3QMwgwU4ggU.png",this,{"tips":"请使用微信扫一扫"});){kind=link}