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

搜索资源列表

  1. 顶级推荐--逻辑编程大全

  2. 该书为逻辑方面的最权威的书籍，涵盖了一阶逻辑，时态逻辑，模态逻辑和描述逻辑等。 深入讲述了面向逻辑的编程语言，如Prolog等。 该书对于学习逻辑编程人员具有极大的帮助。

  3. 所属分类：专业指导

    • 发布日期：2009-12-20
    • 文件大小：3mb
    • 提供者：early4932

  1. 诊断 Java 代码: Java 编程中的断言和时态逻辑 另有翻译

  2. 诊断 Java 代码: Java 编程中的断言和时态逻辑 另有翻译诊断 Java 代码: Java 编程中的断言和时态逻辑 另有翻译

  3. 所属分类：Java

    • 发布日期：2010-01-16
    • 文件大小：25kb
    • 提供者：jimny114

  1. Temporal Logic and State Systems

  2. 研究模型检测，了解时态逻辑，应该很有帮助

  3. 所属分类：专业指导

    • 发布日期：2011-03-03
    • 文件大小：4mb
    • 提供者：mukeshuixin

  1. 符号化模型检测CTL

  2. 符号化的模型检测CTL*, 作者苏开乐 关键词 模型检测；时态逻辑； 有序二值判定图 （OBDD ）

  3. 所属分类：其它

    • 发布日期：2011-05-06
    • 文件大小：591kb
    • 提供者：Violet2011

  1. 软件开发的形式化方法

  2. 《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。

  3. 所属分类：专业指导

    • 发布日期：2012-02-06
    • 文件大小：10mb
    • 提供者：jiangdmdr

  1. 经典模型验证论文

  2. 摘要 模型检测是一种用来验证有限状态反应系统的自动验证技术，例如时序电路设计和通信协议，这种技术用时态逻辑来表示规约，将反应系统构建成一个状态迁移图模型，通常用一种有效的搜索过程来确定这个状态迁移图是否满足该规约。 论文描述了基本的模型检测算法，并且说明了结合该算法和二叉决策图如何验证大规模状态迁移图的性质。同时也对抽象和组合推理技术进行了探讨，即通过利用复杂电路设计和协议的层次结构来扩展模型检测技术的使用。

  3. 所属分类：软件测试

    • 发布日期：2012-11-19
    • 文件大小：1mb
    • 提供者：jmye1965

  1. 高级数理逻辑第六章

  2. 高级数理逻辑第六章：时态逻辑的发展历史及详细内容

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：701kb
    • 提供者：mibunuo

  1. jSPIN5.0 model checker

  2. 基于线性时态逻辑的模型检测工具，很流行，很好用！

  3. 所属分类：其它

    • 发布日期：2013-01-31
    • 文件大小：1mb
    • 提供者：sbren

  1. 时态逻辑方法

  2. 1. Contract-based design 2. Temporal Logics 3. Contract-based design with temporal logics 4. OCRA: tool support and applications 5. Conclusions and future directions

  3. 所属分类：其它

  1. Amir Pnueli近期论文

  2. Amir Pnueli图灵奖获得者，是他把时态逻辑引入到计算机领域，研究形式化验证的人，看看他的论文，还是有必要！

  3. 所属分类：专业指导

    • 发布日期：2009-04-19
    • 文件大小：1mb
    • 提供者：hope2005

  1. timewinder:适用于Python的时间行为逻辑建模-源码

  2. Timewinder是一个Python 3库，用于构建和运行时态逻辑模型。 该库的目标是将形式化的方法，特别是兰莫特的的带给更多的读者。 尽管受到极大启发，Timewinder试图变得更简单，更具可读性并且更加专注于行业。 也就是说，TLA +是一个令人印象深刻的工具，Timewinder并未尝试涵盖TLA +可以完成的全部工作。 该项目旨在实现以下目标： 向更多开发人员介绍建模和形式化方法 增加使用时间逻辑的人员数量 使用非专家也可以阅读的可测试示例模型来改进设计文档 使运行模型变得容易且

  3. 所属分类：其它

    • 发布日期：2021-03-22
    • 文件大小：82kb
    • 提供者：weixin_42175516

  1. 线性约束与时态逻辑编程语言的集成

  2. 线性约束与时态逻辑编程语言的集成

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：206kb
    • 提供者：weixin_38604916

  1. 用数据变量量化扩展时态逻辑

  2. 用数据变量量化扩展时态逻辑

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：581kb
    • 提供者：weixin_38640473

  1. 命题投影时态逻辑与星的复杂性

  2. 命题投影时态逻辑与星的复杂性

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：42kb
    • 提供者：weixin_38611388

  1. 投影时态逻辑程序的公理语义

  2. 投影时态逻辑程序的公理语义

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：49kb
    • 提供者：weixin_38708105

  1. 命题投影时态逻辑与星的表达

  2. 命题投影时态逻辑与星的表达

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：185kb
    • 提供者：weixin_38694355

  1. 基于时态认知逻辑的Web服务模型检测

  2. 传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,并成功采用我们实现的时态认知逻辑符号模型检测工具MCTK验证了SAS股票分析服务实例。同时采用WSAT,WS-Engineer和SPIN 3个模型检测工具在相同实验环境下验证了该实例,实验结果表明我们的Web服务模型检测方法不仅比这3个模型检测工具更高效,而且支持认知逻辑规范

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：424kb
    • 提供者：weixin_38641876

  1. templogic：时间逻辑库-源码

  2. TempLogic：时间逻辑库 什么是TempLogic？ TempLogic是一个接受定量语义的时态逻辑库。 当前，它在不同程度上支持信号时态逻辑（STL），树空间叠加逻辑（TSSL）和时空逻辑（SpaTeL）： 所有这三个都支持每个语法有效公式的构建和定量语义的计算。 STL具有解析器，推断和MILP编码。 TSSL有推断。 SpaTeL推理正在进行中。 要求 您需要Python3.8或更高版本，并鼓励使用virtualenv或类似版本。 推理模块需要安装 。 编码模块需要或更高版

  3. 所属分类：其它

  1. 激光选态激发的量子逻辑功能

  2. 基于三模激光与三能级分子相互作用时态的布居依赖于激光的位相和振幅, 提出利用激光选态激发, 实现Fredkin量子逻辑门的功能。

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：807kb
    • 提供者：weixin_38690017

  1.  一种模糊时态描述逻辑

  2. 针对现实生活中信息的时间性和模糊性，在模糊描述逻辑和时态逻辑的基础上，提出了一种模糊时态描述逻辑FTDL，并给出了其语法和语义的相关说明。与模糊描述逻辑FALC相比，FTDL的提出为语义Web服务的建模和推理提供了一种有效的途径。

  3. 所属分类：其它

    • 发布日期：2021-01-30
    • 文件大小：481kb
    • 提供者：weixin_38625448
« 12 »