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
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 |