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.

There is a newer version of the record available.

Published January 4, 2023 | Version v1
Software Open

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

Creators

  • 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:8a81d3e3a670f3550a8513bcb43e5eae
19.1 MB Preview Download