嵌入式软件安全性分析与形式化验证工具招标公告

招 标 正 文
 

嵌入式软件安全性分析与形式化验证工具招标公告


项目名称嵌入式软件安全性分析与形式化验证工具项目编号XF-WSBX-*******
公告开始日期2023-02-07 10:51:47公告截止日期2023-02-14 12:00:00
采购单位浙江大学付款方式货到付款，甲方在到货验收后15日内向乙方一次性支付本项目的总额
联系人中标后在我参与的项目中查看联系电话中标后在我参与的项目中查看
签约时间要求到货时间要求成交后30天
预算总价￥ ******.00
发票要求
收货地址浙江大学玉泉校区网络空间安全学院科工楼
供应商资质要求

符合《政府采购法》第二十二条规定的供应商基本条件




采购清单1
采购商品采购数量计量单位所属分类
嵌入式软件安全性分析与形式化验证工具1台其他计算机设备及软件

预算单价￥******.00
技术参数及配置要求主要技术参数：
PAT Main Framework (version: 3.5.1)
Plug-in Modules
Communicating Sequential Processes (CSP) Module
Real-Time System (RTS) Module
Probabilistic Communicating Sequential Processes (PCSP) Module
Probabilistic Real-Time System (PRTS) Module, and
Labeled Transition System (LTS) Module
Software Requirement:
For Windows OS:
Windows Operating System: Windows XP, Vista, Windows 7 and Windows Server 2000/2003. (Both 32bit and 64bit OS are supported)
.NET Framework 4.0 is needed to run PAT
For Linux, Mac OS and others:
Mono 2.6.7 or later
Hardware Requirement
1) Intel (Pentium 4 or above) or AMD (Athlon or above) processors
2) 1GB Memory or above
3) 16GB Harddisk or above

产品功能表述：
PAT is a self-contained framework for to support composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured model editor and animated simulator. Most importantly, PAT implements various model checking techniques catering for different properties such as deadlock-freeness, brergence-freeness, reachability, LTL properties with fairness assumptions, refinement checking and probabilistic model checking. To achieve good performance, advanced optimization techniques are implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel model checking. So far, PAT has 2400+ registered users from 580+ organizations in 60 countries and regions.
售后服务无;

浙江大学

2023-02-07 10:51:47

标签: 嵌入式 分析 工具

0人觉得有用

招标
业主

-

关注我们可获得更多采购需求

关注
相关推荐
 
返回首页

收藏

登录

搜索

最近搜索

无

热门搜索

无