注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. PVS中的时间自动机

  2. 介绍了自动机理论在PVS中的模型及定理证明的方法。

  3. 所属分类：专业指导

    • 发布日期：2009-06-20
    • 文件大小：205824
    • 提供者：blackxv

  1. Process Algebra in PVS

  2. The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the verification system PVS. One approach declares process terms as an unint

  3. 所属分类：其它

    • 发布日期：2010-01-19
    • 文件大小：302080
    • 提供者：gabriel1990

  1. [静态代码分析工具].PVS.Studio.for.VS.v4.14.Incl.Keymaker-EMBRACEp

  2. [静态代码分析工具].PVS.Studio.for.VS.v4.14.Incl.Keymaker-EMBRACE.zip

  3. 所属分类：.Net

    • 发布日期：2011-03-17
    • 文件大小：4194304
    • 提供者：cjdxhjj

  1. PVS.Studio.for.VS.v4.21.Incl.Keymaker-EMBRACE

  2. PVS.Studio.for.VS.v4.21.Incl.Keymaker-EMBRACE

  3. 所属分类：C++

    • 发布日期：2011-06-03
    • 文件大小：11534336
    • 提供者：DoomLord

  1. PVS.Studio.for.VS.v4.14

  2. [静态代码分析工具].PVS.Studio.for.VS.v4.14

  3. 所属分类：C++

    • 发布日期：2011-08-29
    • 文件大小：11534336
    • 提供者：microran2000

  1. 定理证明辅助实现工具PVS剖析

  2. 详细PVS工具剖析，国内少于的介绍如此详细的文档。

  3. 所属分类：其它

    • 发布日期：2011-11-30
    • 文件大小：289792
    • 提供者：cekong0303

  1. PVS-Studio4.5

  2. PVS-Studio4.5

  3. 所属分类：C++

    • 发布日期：2011-12-15
    • 文件大小：19922944
    • 提供者：a_2cai

  1. PVS-Studio:C_C++_C++11源代码测试工具

  2. 静态代码分析工具是一种检测代码缺陷、分析对比商业代码的工具，它分析源代码和它生成的目标文件，但并不实际运行源代码。应用于对安全性、稳定性要求很高的领域，比如航天、国防、工业控制、金融等就需要严格的代码分析工具。PVS-Studio 能发现代码中一些潜在问题，或者针对某些潜在问题给出警告。

  3. 所属分类：软件测试

    • 发布日期：2012-02-17
    • 文件大小：116736
    • 提供者：hkaco2012

  1. pvs 5.6授权思杰公司的pvs，国内称为bxp

  2. bxp 5.6即pvs授权文件500用户,已经测试过可用，永久授权。喜欢的朋友下吧.

  3. 所属分类：其它

    • 发布日期：2012-07-29
    • 文件大小：3072
    • 提供者：ribicn2001

  1. PVS服务器做HA

  2. 两台以上PVS服务器之间做HA(高可用)

  3. 所属分类：网管软件

    • 发布日期：2013-04-04
    • 文件大小：185344
    • 提供者：yangheu

  1. PVS-Studio光盘（含key）v4.77

  2. PVS-Studio是C / C++ 静态代码分析工具作为一种工具来检测代码中的缺陷，比编译器能发现更多的问题，检查自己写的程序是不是有隐含的错误很有帮助

  3. 所属分类：C++

    • 发布日期：2013-04-19
    • 文件大小：19922944
    • 提供者：fishflytree

  1. PVS实验手册

  2. 思杰pvs虚拟化实验手册，结合citrix pvs

  3. 所属分类：虚拟化

    • 发布日期：2013-12-04
    • 文件大小：7340032
    • 提供者：fu631267209

  1. pvs 5.02永久授权

  2. pvs 5.02 280用户永久授权，就算有了永久授权，下载者也得会用，不会用也不行。使用方法为pvs官方使用方法。不会可以在网上搜，客户端也可以在网上找。

  3. 所属分类：网管软件

    • 发布日期：2014-02-17
    • 文件大小：5120
    • 提供者：lah25

  1. citrixmcs&pvs

  2. citrix xendesktop mcs&pvs

  3. 所属分类：虚拟化

    • 发布日期：2014-03-08
    • 文件大小：1048576
    • 提供者：u013980653

  1. PVS-Studio_V5.14

  2. PVS-Studio_V5.14+keygen（支持vs2013）很好的静态代码分析工具，持32位和64位代码检查，best tools for your job！

  3. 所属分类：C++

    • 发布日期：2014-03-27
    • 文件大小：30408704
    • 提供者：puppy520145

  1. PVS-Studio_v_5_17.rar

  2. 2014-5-21 PVS-Studio 当前最新版本 5.17 找了个5.11的注册机,居然可以用在5.17上~ 官网url http://www.viva64.com/en/pvs-studio-download/ Current Version: PVS-Studio 5.17 (Download now!) Supported IDE: Microsoft Visual Studio 2013, 2012, 2010, 2008, 2005 (except Express editio

  3. 所属分类：C++

    • 发布日期：2014-05-21
    • 文件大小：31457280
    • 提供者：lostspeed

  1. PVS-Studio

  2. PVS-Studio是一款方便易用的静态代码分析仪。该软件可以诊断C/C++/C+11应用程序源代码中的错误，采用的静态代码分析方法有明显的优越性，因为它可以覆盖整个程序代码。 Name:pvs SerialNumber:B1TG-6CYJ-0A07-YX01 LicenseType:Site License LicenseValidThru:2099/12/31

  3. 所属分类：C++

    • 发布日期：2016-04-15
    • 文件大小：47185920
    • 提供者：xumaojun

  1. PVS-Studio_6.00原文件和注册码

  2. PVS-Studio_6.00原文件和注册码

  3. 所属分类：C++

    • 发布日期：2016-11-29
    • 文件大小：45088768
    • 提供者：dufebin

  1. PVS-Studio

  2. 最近发现一款非常好用的静态代码分析工具PVS-Studio，是一家俄罗斯公司开发的，用于诊断C/C++/C++11源代码中的错误。它兼容Visual Studio开发环境，最新版本支持Visual Studio2015。

  3. 所属分类：C++

    • 发布日期：2018-03-15
    • 文件大小：59768832
    • 提供者：mickeymouse1928

  1. citrix pvs 桌面实施指导手册v2

  2. 1 基础架构服务器的安装部署 2 1.1 安装配置SQL Server 2 1.1.1 安装Donet3.5 2 1.1.2 安装SQL Server 8 1.1.3 安装配置故障转移群集服务 16 1.1.4 创建数据库配置Always On 27 1.2 安装和配置License Server 44 1.2.1 安装License组件 44 1.2.2 导入License 48 1.3 安装和配置DDC 52 1.3.1 安装DDC 52 1.3.2 配置DDC 56 1.4 安装和配置S

  3. 所属分类：虚拟化

    • 发布日期：2018-09-19
    • 文件大小：12582912
    • 提供者：sys_link
« 12 3 4 5 »