checking

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

阅读全文

checking

: Model Checking -Model Checking-Model
评级：4 浏览量：119 收藏量：0 资源大小：1.99MB 上传时间：2014-05-26

: DFT Compiler RTL Test Design Rule Checking User Guide DFT Compiler RTL Test Design Rule Checking User Guide
评级：0 浏览量：353 收藏量：1 资源大小：411KB 上传时间：2023-03-22

: 论文研究-Model-checking of Linear-Time Properties in possibilistic Kripke structure.pdf 线性时间性质在可能的Kripke结构中的模型检测，李丽君，李永明，首先,定义了可能的Kripke结构系统及可能性测度,并简单的介绍了如何使用线性时序逻辑(LTL)来描述线性时间属性.接下来又分别对安全性能�
评级：0 浏览量：135 收藏量：0 资源大小：470KB 上传时间：2019-08-16

: CheckingTable设计模式本文通过具体的CheckingTable设计模式案例创新过程，阐述在核心业务需求分析中如何开展建模、设计并实现最合理并富弹性的设计模式，在设计模式创新方面展开思考和探索。GOF基于经验总结并发明了很多设计模式，客观的...
评级：0 浏览量：109 收藏量：0 资源大小：673KB 上传时间：2021-03-03

: Software Model Checking We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder public key protocol....
评级：5 浏览量：116 收藏量：0 资源大小：378KB 上传时间：2012-08-07

: boundschecking-开源这个包向 GCC（仅限 C）添加了完整的、细粒度的数组边界和指针检查。检查的级别类似于并在某些方面超过了 Pascal 和 Modula-2 等语言的级别。
评级：0 浏览量：51 收藏量：0 资源大小：803KB 上传时间：2021-06-03

: paper_checking_system：基于C＃和C ++开发的文本查重论文查重系统，一亿字次级论文库秒级查重。... 1，克隆源代码2，使用vs打开，编译（vs需安装.NET开发组件） 3，运行paper_checking.exe文件即可兼容性要求： Windows 7及以上版本，vs2017及以上版本，需安装vc2015运行库和.NET Framework4.6。其他版本需自行测试...
评级：0 浏览量：881 收藏量：1 资源大小：5.68MB 上传时间：2021-01-31

: Handbook of Model Checking course in Model Checking. If a reader can verify that he or she has read and studied every article, then Springer should certainly award that reader a Master’s Degree inModel Checking! Departments in...
评级：0 浏览量：255 收藏量：2 资源大小：14.13MB 上传时间：2018-06-01

: model checking the MIT press 介绍模型检测的相关概念，同时还以smv和spin为例说明。
评级：5 浏览量：84 收藏量：0 资源大小：1.88MB 上传时间：2010-09-01

: Local search for Boolean Satisfiability with configuration checking and subscore We start by proposing a local search strategy called configuration checking (CC) for SAT. The CC strategy results in a simple local search algorithm for SAT called Swcc, which shows promising ...
评级：0 浏览量：119 收藏量：0 资源大小：605KB 上传时间：2021-02-21

: File checking NULL 博文链接：https://hemahehe.iteye.com/blog/1180296
评级：0 浏览量：62 收藏量：0 资源大小：32KB 上传时间：2019-03-25

: 雅思听力考试题型之Checking题型.pdf 雅思听力考试题型之Checking题型.pdf
评级：0 浏览量：56 收藏量：0 资源大小：5KB 上传时间：2021-12-09

: Principle of Model Checking 这个版本我自己增加了了各个章节的书签，方便阅读的时候查找和对书有一个大概的了解
评级：5 浏览量：200 收藏量：1 资源大小：5.71MB 上传时间：2012-03-26

: Fair checking form 超市管理的目标基本以消费者对象而确定，提供的Fair checking form能够给你学习和参考Fair ch...该文档为Fair checking form，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看
评级：0 浏览量：47 收藏量：0 资源大小：4KB 上传时间：2020-12-21

: Loan checking form 超市管理的目标基本以消费者对象而确定，提供的Loan checking form能够给你学习和参考Loan ch...该文档为Loan checking form，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看
评级：0 浏览量：45 收藏量：0 资源大小：3KB 上传时间：2020-12-21

: implementation checking form 这一款整理发布的implementation checking form，适合超市管理人员学习参考超市管理分类中的i...该文档为implementation checking form，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看
评级：0 浏览量：58 收藏量：0 资源大小：5KB 上传时间：2020-12-21

: Safety and Availability Checking for User Authorization Queries in RBAC This paper introduces the notion of safety and availability checking for user authorization query processing, and develop a recursive algorithm use the ideas from backtracking-based search techniques ...
评级：0 浏览量：74 收藏量：0 资源大小：853KB 上传时间：2021-02-09

: 概率模型检验与自治_Probabilistic Model Checking and Autonomy 概率模型检验与自治_Probabilistic Model Checking and Autonomy.pdf
评级：0 浏览量：4341 收藏量：0 资源大小：2.46MB 上传时间：2022-01-27

: spin model checking Principles of the Spin Model
评级：0 浏览量：111 收藏量：0 资源大小：3.4MB 上传时间：2009-12-14

: Principles of Model Checking（Model Checking经典书籍） Model Checking经典书籍,如果做形式化验证的话属于必读系列
评级：0 浏览量：812 收藏量：1 资源大小：5.11MB 上传时间：2019-03-18

: Model-based incremental conformance checking to enable interactive product configuration Context: Model-based product line engineering (PLE) is a paradigm that can enable automated product configuration of large-scale software systems, in which models are used as an abstract specification...
评级：0 浏览量：82 收藏量：0 资源大小：3.87MB 上传时间：2021-02-22

: Baier, Katoen - 2008 - Principles of Model Checking.pdf The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness...
评级：0 浏览量：205 收藏量：1 资源大小：5.53MB 上传时间：2018-02-09

: rtplan-checking:自动化DICOM计划检查自动化计划检查Extract and evaluate data from DICOM RT-PLAN files. 原始存储库： : 自述文件，最好在上查看目录项目背景该项目由澳大利亚辐射防护和核安全局负责。目的是创建一个程序，该程序可以通过“通过/...
评级：0 浏览量：133 收藏量：0 资源大小：12.93MB 上传时间：2021-04-22

: DCT.zip_The Image_quality checking this is the code for DCT color image compression. You can check the compression quality by checking your output image which will be stored in current folder.
评级：0 浏览量：86 收藏量：0 资源大小：1.45MB 上传时间：2022-09-24

: LTL – model checking model checking 的ppt，应该有帮助的
评级：0 浏览量：568 收藏量：0 资源大小：172KB 上传时间：2010-06-22

: 论文研究-Model Checking Go.pdf 围棋模型检测，朱维军，，基于符号模型检测的围棋方法与基于学习的方法有互补性。为此提出一种新的基于前者技术的算法。首先，通过强限制条件获得一个有限
评级：0 浏览量：73 收藏量：1 资源大小：481KB 上传时间：2019-08-19

: Principles of Model Checking 该书详细地介绍了ModelChecking的基本原理，适合于初学者
评级：5 浏览量：115 收藏量：0 资源大小：1.6MB 上传时间：2013-01-27

: Coupon activity checking form Coupon activity checking form适用于超市管理学、超市管理人员、超市职员等学习参考使用，欢迎大家下载...该文档为Coupon activity checking form，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看...
评级：0 浏览量：42 收藏量：0 资源大小：3KB 上传时间：2020-12-20

: promotion management checking form promotion management checking form适用于超市管理学、超市管理人员、超市职员等学习参考使用，欢迎大家...该文档为promotion management checking form，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以...
评级：0 浏览量：39 收藏量：0 资源大小：4KB 上传时间：2020-12-21

: python-type-checking:Python类型检查指南的源文件-python source file python-type-checking:Python类型检查指南的源文件
评级：0 浏览量：128 收藏量：0 资源大小：30KB 上传时间：2021-03-25

: 论文研究-Approximate CTL model checking.pdf 近似CTL模型检测，朱维军，，计算树逻辑（CTL）模型检测的瓶颈——状态爆炸问题——尚未被根本解决。为此，通过引入机器学习（ML）技术来寻找CTL模型检测的可接�
评级：0 浏览量：84 收藏量：0 资源大小：180KB 上传时间：2019-08-15

: threejs-impact-checking_html+css_javascript_guidewdj_ThreeJS_ 基于tree.js的html5自动检测小程序。
评级：0 浏览量：59 收藏量：0 资源大小：126KB 上传时间：2021-10-04

: Model checking-based safety verification for railway signal safety protocol-I Model checking-based safety verification for railway signal safety protocol-I
评级：0 浏览量：93 收藏量：0 资源大小：328KB 上传时间：2021-02-20

: threejs-impact-checking.7z java页面小游戏，无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊无聊
评级：0 浏览量：65 收藏量：0 资源大小：115KB 上传时间：2019-07-05

: MTK_NBIOT_Modem_Log_Checking_SOP.pdf MTK_NBIOT_Modem_Log_Checking_SOP 文档密码：8637296728
评级：0 浏览量：119 收藏量：0 资源大小：2.08MB 上传时间：2021-01-08

: lilei log checking NULL 博文链接：https://hemahehe.iteye.com/blog/1835654
评级：0 浏览量：113 收藏量：0 资源大小：937KB 上传时间：2019-04-18

: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (mc-osdi)-计算机... Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (mc-osdi)-计算机科学
评级：0 浏览量：58 收藏量：0 资源大小：294KB 上传时间：2021-04-22

: Conformal Equivalence Checking User Guide.pdf Conformal Equivalence Checking User Guide Conformal L, Conformal XL, and Conformal GXL Product Version 15.2 November 2015
评级：0 浏览量：146 收藏量：1 资源大小：3.68MB 上传时间：2023-06-02

: Conformal Equivalence Checking Command Reference.pdf Conformal Equivalence Checking Command Reference Conformal L, Conformal XL, and Conformal GXL Product Version 15.2 November 2015
评级：0 浏览量：64 收藏量：1 资源大小：3.76MB 上传时间：2023-06-02

: Competent predicate abstraction in model checking The paper presents a new approach to computing the abstract state and a maximum weight heuristic<BR>method for finding the shortest counter-example in verification of imperative programs....
评级：0 浏览量：71 收藏量：0 资源大小：359KB 上传时间：2021-02-20

: hw_design_checking_list for imx6 imx6 hw design checking list 官网上找的，大家可以去管网上找
评级：0 浏览量：82 收藏量：0 资源大小：1.75MB 上传时间：2019-01-04

: principles_of_model_checking principles_of_model_checking一本很好的模型检测的书，我很仔细的看了。希望对大家有帮助！
评级：0 浏览量：207 收藏量：0 资源大小：5.42MB 上传时间：2014-08-07

: ConjuGNU Grammar Checking-开源 ConjuGNU 是一个 GNU 动词变位程序。它很快就会成为一个完全成熟的语法检查器，希望能被集成到 OOo 中。目前仅适用于西班牙语，它将包括英语、法语、意大利语、葡萄牙语和其他语言，很可能按此顺序排列。
评级：0 浏览量：42 收藏量：0 资源大小：29KB 上传时间：2021-06-08

: Error Checking and Correction ECC的全称是Error Checking and Correction，是一种用于Nand的差错检测和修正算法。如果操作时序和电路稳定性不存在问题的话，NAND Flash出错的时候一般不会造成整个Block或是Page不能读取或是全部出错，而是整个...
评级：0 浏览量：103 收藏量：0 资源大小：456KB 上传时间：2013-08-27

: 数理逻辑Model Checking 数理逻辑Model Checking 面向计算机科学的数理逻辑：建模检测
评级：0 浏览量：172 收藏量：1 资源大小：3.55MB 上传时间：2012-03-29

: Learning Deterministic Probabilistic Automata from a Model Checking Perspective In this area of applications, one is often interested in formal model-checking procedures for verifying critical system properties. Since adequate system models are often difficult to design manually...
评级：0 浏览量：65 收藏量：0 资源大小：1.21MB 上传时间：2021-02-07

: Checking-leap-year 闰年 :flexed_biceps: 这是一个艰巨的挑战 :flexed_biceps:指示编写一个程序，计算给定年份是否为a年。正常年份有365天，leap年有366天，而2月则有额外的一天。我们度过leap年的原因确实令人着迷，该视频更加公正...
评级：0 浏览量：38 收藏量：0 资源大小：1KB 上传时间：2021-04-22

: Bayes-model-checking Bayes-model-checking
评级：0 浏览量：51 收藏量：0 资源大小：43KB 上传时间：2021-03-16

资源推荐

相关资源标签

model checking ,Principles 模型检测理论计算机模型检查 imx6 desi ModelC 源码 java Machine Learning model-checking AI MT2625 algorithm Probabilistic checking; automata learning; Linear time temporal logic program, checking, predicate abstraction, weight heuristic 研究论文 Local search; Configuration Incremental conformance line based product configuration Variation point 系统开源 Python Papers Specs Decks Manuals 开源软件 html+css javascript ThreeJS Conformal