首页/数据集/Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications

Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications

NIAID Data Ecosystem2026-03-14 收录

反应式系统合成

形式化验证

数据链接：

https://zenodo.org/record/7568415 数据链接链接失效反馈

官方服务：

资源简介：

Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications

应用场景：

创建时间：

2023-02-10

形式化验证

大语言模型代码生成

Large language models (LLMs) have recently shown promise in automating formal specification generation, but their effectiveness has mainly been demonstrated on self-contained benchmark tasks. This pap

Zenodo2026-05-06 更新90

SZLHOLDINGS/terra-source

形式化验证

基础设施管理

Terra Source — 基础设施层镜像，是SZL底层基础设施治理层Terra的源仓库镜像。Terra管理所有底层组件的计算资源供应、网络策略和资源认证。基础设施操作通过sentra进行门控，并生成DSSE签名的供应收据。Terra通过uds-governance-receipts与UDS网格集成。

Hugging Face2026-05-30 更新20

Distributed SAT Competition 2005 Industrial Track Benchmarks

SAT布尔可满足性问题

形式化验证

These are 176 CNF files in DIMACS format from the industrial track of the SAT competition 2005 which were distributed after the competition. Some benchmarks were only available on webpages of submitt

NIAID Data Ecosystem20

3917_Z3.csv

形式化验证

空间数据转换

spatialization of the Z3 binary encoded for 3917

DataCite Commons2024-06-09 更新70

Model Checking of Spacecraft Operational Designs: A Scalability Analysis - Artifact

形式化验证

航天器系统设计

This artifact contains the accompanying experiment data for the publication "Model Checking of Spacecraft Operational Designs: A Scalability Analysis".

Zenodo2024-10-27 更新20

Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications

资源简介：

相关数据集