产品简介

 望安形式化验证工具（WONSEC V1.0）是一款支持对程序系统包括安全要求、功能规范、高层设计与底层设计的形式化模型与代码验证的多功能软件。

适用范围包括航空航天、无人机、无人车、金融、操作系统、智能合约等。多功能形式化验证平台为用户提供了多方向多功能的选择平台，解决了各个安全验证工具分散不集中的缺陷，同时正在扩充其全面性，从而解决用户各个安全验证方面的需求。