abstract-interpretation

本专辑为您列举一些abstract-interpretation方面的下载的内容,abstract-interpretation等资源。把最新最全的abstract-interpretation推荐给您,让您轻松找到相关应用信息,并提供abstract-interpretation下载等功能。本站致力于为用户提供更好的下载体验，如未能找到abstract-interpretation相关内容，可进行网站注册，如有最新abstract-interpretation相关资源信息会推送给您。

阅读全文

: sparrow:麻雀静态分析仪麻雀 Sparrow是最新的静态分析器，旨在验证C源代码中不存在致命错误。 Sparrow是基于“抽象解释”框架进行设计的，并且在设计上进行了合理的分析。 Sparrow采用了许多成熟的静态分析技术，以实现可伸缩性，精度和...
评级：0 浏览量：175 收藏量：0 资源大小：244KB 上传时间：2021-05-01

: diffai:通过训练神经网络证明其强大的对抗性实例的可证明防御 DiffAI v3 DiffAI是一种用于训练神经网络以证明其鲁棒性并证明其鲁棒性的系统。该系统是为和。背景到现在为止，众所周知，可以通过聪明的攻击来欺骗正常工作的网络。例如展示了一种具有高分类精度的网络，该...
评级：0 浏览量：123 收藏量：0 资源大小：737KB 上传时间：2021-05-28

: pyre-check：python的性能类型检查 Pyre是用于符合Python的高性能类型检查器。 Pyre可以逐步分析具有数百万行代码的代码库-在开发人员编写代码时向他们提供即时反馈。 Pyre随附了Pysa ， Pysa是我们在Pyre之上构建的，专注于安全性的静态分析工具，其...
评级：0 浏览量：92 收藏量：0 资源大小：4.07MB 上传时间：2021-02-05

: ikos：基于抽象解释理论的CC ++静态分析器 IKOS IKOS（开放静态分析器的推理内核）是基于抽象解释理论的C / C ++静态分析器。介绍IKOS最初是一个C ++库，旨在促进基于的声音静态分析器的开发。对于一个应用程序或一系列应用程序，静态分析仪的专业化对于实现...
评级：0 浏览量：142 收藏量：0 资源大小：2.34MB 上传时间：2021-02-28

: tarsis:Tarsis抽象域的实现 TARSIS用于静态字符串分析的抽象域孪生自动机和用于字符串静态分析的正则表达式的实现，作者：Luca Negrini，Vincenzo Arceri，Pietro Ferrara和Agostino Cortesi。链接：如何使用抽象域类是使用域的入口点。...
评级：0 浏览量：44 收藏量：0 资源大小：128KB 上传时间：2021-05-26

: 逻辑上：对core.logic的探索逻辑上：对core.logic的探索
评级：0 浏览量：69 收藏量：0 资源大小：45KB 上传时间：2021-01-31

: mufasa：μJS有限状态自动机字符串分析器 μFASA静态分析仪 μFASA（μJS有限状态自动机字符串分析器）是一种基于静态解释的字符串静态分析器，用于JavaScript的子语言μJS的跨过程版本。有关μFASA的完整详细信息，请参见第七届国际验证和程序转换研讨会...
评级：0 浏览量：122 收藏量：0 资源大小：14.86MB 上传时间：2021-02-19

: cpp-SPARTA基于抽象解释的高性能静态代码分析器 SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.
评级：0 浏览量：99 收藏量：0 资源大小：158KB 上传时间：2019-08-15

: 基于完备抽象解释的模型检验CTL公式研究 In a complete abstract interpretation-based view, the authors reduce the state space of a Kripke structure in order to obtain a minimal abstract state translation system that strongly preserves a ...
评级：0 浏览量：106 收藏量：0 资源大小：4.11MB 上传时间：2021-02-22

: 坚固：坚固是一个用于在Haskell中开发声音静态分析的库坚固 Sturdy是一个用于在Haskell中创建声音静态分析的库。静态分析是在不实际运行程序的情况下产生有关计算机程序信息的工具。静态分析的示例包括类型检查器，错误查找器（例如Java FindBugs），安全性分析（例如...
评级：0 浏览量：52 收藏量：0 资源大小：17.89MB 上传时间：2021-02-04

: par4all:Par4All 是用于 C 和 Fortran 顺序程序的自动并行化和优化编译器（工作台） Par4All 版本 1.4.6 ... Par4all 融合了各种免费和开源的开发。 Par4All 旨在实现软件向多核和其他并行处理器的迁移，以及向 GPU 等加速处理器的迁移。它基于多个组件，包括源到源编译器框架（科学程序的程序间并行化...
评级：0 浏览量：77 收藏量：0 资源大小：151.43MB 上传时间：2021-06-05

: lart:LLVM抽象和优化工具。该工具的目标是提供LLVM到LLVM的转换，以实现各种程序抽象。... LART：LLVM抽象和优化工具 LART = LLVM抽象和优化工具。该工具的目标是提供LLVM到LLVM的转换，以实现各种程序抽象。就指令集而言，生成的程序是可以执行和分析的常规，具体的LLVM程序。使用特殊的LLVM内在函数和...
评级：0 浏览量：88 收藏量：0 资源大小：125KB 上传时间：2021-04-05

: linter：Scala的静态分析编译器插件 linter：Scala的静态分析编译器插件
评级：0 浏览量：60 收藏量：0 资源大小：92KB 上传时间：2021-02-05

: Structure and Interpretation of Computer Programs, 2nd Edition(完美版, 带完整CHM目录) Order Procedures 56 2 Building Abstractions with Data 79 2.1 Introduction to Data Abstraction 83 2.2 Hierarchical ...Abstract Data 169 2.5 Systems with Generic Operations 187 3 Modularity...
评级：5 浏览量：280 收藏量：3 资源大小：1.48MB 上传时间：2008-01-01

: seahorn:SeaHorn验证框架视窗的Ubuntu OS X 与我们聊天覆盖范围待定待定关于是针对基于LLVM的语言的自动化分析框架。该版本支持LLVM 5.0。...是根据经过修改的BSD许可证发行的。... cmake -DCMAKE_INSTALL_PREFIX=run ../ （添加-GNinja...
评级：0 浏览量：91 收藏量：0 资源大小：1.77MB 上传时间：2021-05-12

: Learning Recurrent Neural Networks with Hessian-Free Optimization Abstract In this work we resolve the long-outstanding problem of how to effectively train recurrent neu- ral networks (RNNs) on complex and difficult sequence modeling problems which may con- tain ...
评级：0 浏览量：139 收藏量：0 资源大小：295KB 上传时间：2018-07-22

: vut-excel-at-fit-2021:Excel @ FIT 2021-通过Facebook推断并发程序中原子性的高级静态分析 Excel @ FIT 2021 通过Facebook推断并发程序中原子性的高级静态分析作者：Dominik Harmim
评级：0 浏览量：36 收藏量：0 资源大小：1KB 上传时间：2021-03-21

: Program Analysis with PREfast & SAL - Slides (3_StaticAnalysisPREfast)-计算机科学 Software SecurityProgram Analysis with PREfast & SALErik ... more advanced analyses take into account program semantics– using: dataflow analysis, control flow analysis, abstract interpretation,sym
评级：0 浏览量：46 收藏量：0 资源大小：510KB 上传时间：2021-04-22

: Convolutional Neural Networks in Visual Computing_A Concise Guide-CRC(2018).pdf e art in memory.png was painted in the style of Salvador Dali, particularly of his painting “the persistence of memory” which deals in abstract about the concept of the mind hallucinating and ...
评级：0 浏览量：276 收藏量：1 资源大小：5.85MB 上传时间：2018-02-09

: 计算机程序设计与解释(英文版word文档）（Structure and interpretation of Computer Programming) Order Procedures 56 2 Building Abstractions with Data 79 2.1 Introduction to Data Abstraction 83 2.2 Hierarchical ...Abstract Data 169 2.5 Systems with Generic Operations 187 3 Modularity...
评级：5 浏览量：171 收藏量：3 资源大小：3.72MB 上传时间：2008-05-09

: 基于抽象解释理论的程序验证技术抽象解释(abstract interpretation)理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近(approxiamation)程序不动点语义的理论.描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释...
评级：0 浏览量：172 收藏量：0 资源大小：270KB 上传时间：2021-02-23

: Explorations of Mathematical Models in Biology with Maple Explorations of Mathematical Models in Biology with Maple provides an introduction to model creation using Maple, followed by the translation, analysis, interpretation, and observation of the models....
评级：0 浏览量：91 收藏量：0 资源大小：2.13MB 上传时间：2018-07-28

: Improving Palliative Care with Deep Learning Abstract Improving the quality of end-of-life care for hospitalized patients is a priority for healthcare organizations. Studies have shown that physicians tend to over-estimate prog- noses, which ...
评级：0 浏览量：69 收藏量：0 资源大小：316KB 上传时间：2018-06-14

: 计算机视觉（英文版） 18.1 Tracking as an Abstract Inference Problem 490 18.1.1 Independence Assumptions 490 18.1.2 Tracking as Inference 491 18.1.3 Overview 492 18.2 Linear Dynamic Models and the Kalman Filter 492 18.2.1 ...
评级：0 浏览量：795 收藏量：2 资源大小：50.19MB 上传时间：2018-07-20

: Information.Granularity.Big.Data.and.Computational.Intelligence.331908 The recent pursuits emerging in the realm of big data processing, interpretation, collection and organization have emerged in numerous sectors including business, industry and government organizations...
评级：0 浏览量：195 收藏量：0 资源大小：8.58MB 上传时间：2016-06-01

: Layered Architecture for Automatic Generation of Conflictive Animations in Programming Education Abstract—Fundamental concepts of programming and data structures are usually taught with graphical tools such as simulations and animations. Conflictive animations have been proposed to improve ...
评级：0 浏览量：55 收藏量：0 资源大小：900KB 上传时间：2011-03-31

: A Novel RFID Authentication Protocol with Ownership Transfer.doc Abstract. RFID technology has a wide application in many fields. However, there are many security and privacy issues. The paper presents a RFID security proposal to enhance security levels. It is ...
评级：0 浏览量：196 收藏量：0 资源大小：155KB 上传时间：2012-11-19

: 一篇Mobile GIS的资料 ABSTRACT Methods for land use inventory have been already trellised in the past within the frame of many EU projects (MARS, CORINE, FIRS). There are a technology based on an Earth remote sensing ...
评级：0 浏览量：94 收藏量：0 资源大小：148KB 上传时间：2009-02-23

: Fourier Analysis on Finite Groups with Applications in Signal Processing and System Design Next, the book examines recent achievements and discoveries in: <br>Matrix interpretation of the fast Fourier transform Optimization of decision diagrams Functional expressions on ...
评级：5 浏览量：143 收藏量：0 资源大小：12.29MB 上传时间：2008-08-18

资源推荐