办理会员咨询热线:4000-156-001

嵌入式软件安全性分析与形式化验证工具(XF-WSBX-2300009)采购公告

所在地区: 浙江-- 发布日期: 2023年2月7日
招标采购正文
打印公告
嵌入式软件安全性分析与形式化验证工具(XF-WSBX-2300009)采购公告
发布时间:2023-02-07 10:51:47阅读量:10次
项目名称 嵌入式软件安全性分析与形式化验证工具 项目编号 XF-WSBX-2300009
公告开始日期 2023-02-07 10:51:47 公告截止日期 2023-02-14 12:00:00
采购单位 浙江大学 付款方式 货到付款,甲方在到货验收后15日内向乙方一次性支付本项目的总额
联系人 中标后在我参与的项目中查看 联系电话 中标后在我参与的项目中查看
签约时间要求 到货时间要求 成交后30天
预算总价 ¥ 450000.00 + NaN + NaN
发票要求 增值税普通发票 增值税专用发票
含税要求
送货要求
安装要求
收货地址 浙江大学玉泉校区网络空间安全学院科工楼
供应商资质要求

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

公告说明
采购清单1
采购商品 采购数量 计量单位 所属分类
嵌入式软件安全性分析与形式化验证工具 1 台 其他计算机设备及软件 无 无
品牌 品牌1
型号
品牌2
型号
品牌3
型号
预算单价 ¥450000.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) ModuleSoftware 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 PATFor Linux, Mac OS and others: Mono 2.6.7 or laterHardware Requirement1) Intel (Pentium 4 or above) or AMD (Athlon or above) processors2) 1GB Memory or above3) 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, divergence-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

竞价招标详情请到:https://www.yuncaitong.cn/publish/2023/02/07/20LDTNDTOA4Y27MO.shtml

按照客观、公正、公开的原则,本条信息受业主方委托独家指定在中国建设招标网 www.jszhaobiao.com 发布

注册会员 享受贴心服务

标讯查询服务

让您全面及时掌握全国各省市拟建、报批、立项、施工在建项目的项目信息。

帮您跟对合适的项目、找对准确的负责人、全面掌握各项目的业主单位、设计院、总包单位、施工企业的项目 经理、项目负责人的详细联系方式。

帮您第一时间获得全国项目业主、招标代理公司和政府采购中心发布的招标、中标项目信息。

标讯定制服务

根据您的关注重点定制项目,从海量项目中筛选出符合您要求和标准的工程并及时找出关键负责人和联系方式。

根据您的需要,向您指定的手机、电子邮箱及时反馈项目进展情况。

咨询热线:4000-156-001