Published December 22, 2023 | Version v1
Software Open

Artifact for paper: Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking

  • 1. ROR icon Leiden University
  • 2. ROR icon Eindhoven University of Technology

Description

Artifact for our regular paper: Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking

Files

tacas24-artifact.zip

Files (13.4 MB)

Name Size Download all
md5:1477393a60328ad21bf771ddda0cd78d
13.4 MB Preview Download