Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published January 4, 2023 | Version v3
Software Open

Artifact for paper: A GPU Tree Database for Many-Core Explicit State Space Exploration

  • 1. Eindhoven University of Technology

Description

Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exploration.

Files

tacas23-artifact-paper135.zip

Files (19.1 MB)

Name Size Download all
md5:34b396e834942aa62687974778841b0f
19.1 MB Preview Download