Truth table for the logical rule x(t+1) = y(t) AND z(t).

Figshare2017-05-04 更新2026-04-29 收录

数字逻辑电路

时序逻辑

数据链接：

https://figshare.com/articles/dataset/Truth_table_for_the_logical_rule_i_x_t_1_y_t_AND_z_t_i_/4893446 数据链接链接失效反馈

官方服务：

资源简介：

Truth table for the logical rule x(t+1) = y(t) AND z(t).

创建时间：

2017-05-04

LTLBench

时序逻辑

语言模型评估

LTLBench是由爱丁堡大学开发的用于评估大型语言模型（LLMs）时间逻辑推理能力的数据集。该数据集包含2000个时间逻辑推理挑战，涉及随机生成的有向图、线性时间逻辑（LTL）公式和NuSMV模型检查器。数据集的创建过程包括四个阶段：随机有向图生成、LTL公式生成、NuSMV代码生成和自然语言生成。LTLBench旨在通过控制和可扩展的数据生成过程，评估LLMs在处理复杂时间逻辑问题上的表现，特

arXiv2024-07-08 更新810

On Monitoring Linear Temporal Properties

时序逻辑

运行时验证

Runtime verification facilitates monitoring the executions of a system against temporal properties, commonly to detect violations. Not every temporal property is fully monitorable however: in some cas

DataCite Commons2024-05-07 更新120

Artifact for Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic

时序逻辑

形式化方法教育

Welcome! This artifact contains the survey instruments, final catalog, and labeled responses from our FM 2024 paper: Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic The ar

NIAID Data Ecosystem30

Verifiable Linear Temporal Logic Benchmark (VLTL-Bench)

自然语言处理

时序逻辑

VLTL-Bench是一个用于评估自然语言(NL)到线性时态逻辑(LTL)翻译系统的统一基准数据集，旨在衡量翻译的可验证性和正确性。该数据集包含三个独特的状态空间和数千个多样化的自然语言规范及其对应的时态逻辑规范，并提供样本跟踪以验证时态逻辑表达式。VLTL-Bench支持端到端评估，并提供每个步骤的真实值，以便研究人员改进和评估整个问题的不同子步骤。该数据集对于推动NL到LTL翻译领域的方法论研

arXiv2025-07-01 更新340

Input/output logic table for three gate system.

数字逻辑电路

真值表分析

Input/output logic table for three gate system.

Figshare2015-12-02 更新30