最近更新┆推荐软件┆热门软件 兵器玩家┆设为首页┆加入收藏┆登录┆注册
　　　　　　　　　　　　　






您当前位置：兵器玩家 → 软件下载 → 编程软件 → BLAST 2.5下载

BLAST 2.5

论坛转帖 　　　 用户评论

运行环境：WinXP/Win7/Win8/Win10/Win All
软件语言：简体中文
软件类型：国产软件 - 编程软件
授权方式：共享版
软件大小：3.42 MB
推荐星级：
解压密码：
联系方式：暂无联系方式
插件情况：
图片预览： 　没有预览图片
更新时间：2013-03-09 12:27:00
下载统计：

  • 好的评价　如果您觉得好，就请您
      100%(25)
  • 差的评价　如果您觉得差，就请您
      0%(0)

BLAST 2.5下载地址

BLAST 2.5下载

BLAST 2.5软件简介

最新发布的相关软件：
  • Blasteronline 4.0.5
  • BLASM 0.0.1
  • BLAS 2010-02-05_rev716_blas 2010-02-05_rev716
  • Blassic 0.10.0
  • BLAST 2.5
  • Blasm IDE 10年9月1日_Blasm IDE 1.09.10
  • BLASON 1.0.0.0_BlaSON 1.0.0.0
  • BLAST 2.0_Blast 2.0


    • 伯克利懒惰抽象的软件验证工具

    BLAST是一个用于C语言的软件模型检查器。的BLAST的目标是可以检查软件满足行为属性，它使用的接口。

    BLAST使用反例驱动的自动的抽象细化到建设一个抽象的模型，这是模型的安全性能检查。的抽象构造上的，只有达到所要求的精度。

    给BLAST一个尝试，看看它的神器出山:www.shenqi73.com所有有关！


    最新发布的相关软件：
  • Blasteronline 4.0.5
  • BLASM 0.0.1
  • BLAS 2010-02-05_rev716_blas 2010-02-05_rev716
  • Blassic 0.10.0
  • BLAST 2.5
  • Blasm IDE 10年9月1日_Blasm IDE 1.09.10
  • BLASON 1.0.0.0_BlaSON 1.0.0.0
  • BLAST 2.0_Blast 2.0

    • 上一个软件：FluentDot 0.6

    下一个软件：兔2.1_Rabbit 2.1

    BLAST 2.5下载地址

    BLAST 2.5下载
    广告赞助

    随便看看

    网友评论

    共有 0 位网友发表了评论，得分 0 分，平均 0 分    查看完整评论

    栏目导航
    相关软件下载