Skip to content
JournalsWorldThe Global Research Discovery Platform
Login Sign Up
Featured Dataset

T4V-artifact

Artifact for the paper <Reusing Test Executions to Accelerate Hardware Model Checking>

👤
CreatorAnonymous
📅
Published2026-04-15
🔗
DOI10.5281/zenodo.19593886
📊
Downloads15
⚖️
Licensecc-by-4.0
File Size94.2 MB
Data TypeDataset
Published2026
Licensecc-by-4.0
Total Views37
Total Downloads15

Artifact for the paper <Reusing Test Executions to Accelerate Hardware Model Checking>

📤 Share this page

Found this useful? Share it with your network.

𝕏XfFacebookinLinkedIn✆WhatsApp✈Telegram✉EmailMMendeley
✓ Link copied! Paste it on ResearchGate / Academia.edu
📦
T4V-artifact (Full Dataset)94.2 MB
⬇
📄
ReadmeVia DOI record
↗

Files are hosted on the source repository. Click download to access the full dataset.

Anonymous (2026). T4V-artifact. https://doi.org/10.5281/zenodo.19593886
Discover

Related Datasets

RAD-ChestCT Dataset ⬇ 6,100,234 View → CoVaxxy Tweet IDs data set ⬇ 4,584,393 View → The 30 m annual land cover datasets and its dynamics in China… ⬇ 3,785,135 View → Coronavirus Twitter Data: A collection of COVID-19 tweets with automated annotations ⬇ 2,259,399 View → GLC_FCS30D: the first global 30-m land-cover dynamic monitoring product with fine classification… ⬇ 2,069,486 View → Improving 30-meter global impervious surface area (GISA) mapping: New method and dataset ⬇ 1,833,998 View → LUNA16 Part 1/2 ⬇ 1,702,656 View → ReCANVo: A Dataset of Real-World Communicative and Affective Nonverbal Vocalizations ⬇ 1,668,947 View → CNBH-10 m: A first Chinese building height at 10 m resolution ⬇ 1,484,399 View → BreathBase: Intra-Speech Breathing Dataset ⬇ 1,398,468 View → The Ryerson Audio-Visual Database of Emotional Speech and Song (RAVDESS) ⬇ 1,329,564 View → GLC_FCS30: Global land-cover product with fine classification system at 30 m using… ⬇ 1,109,411 View →