Published July 7, 2021 | Version v2
Conference paper Open

minjian233/LTLCompressed:

Authors/Creators

Description

Artifact for corresponding FSE paper check LTL[F,G,X] in polynomial time.

Files

compressed-traces.zip

Files (220.3 MB)

Name Size Download all
md5:7322d4c5b8f98ded65e0ca8b9001011f
83.7 MB Preview Download
md5:66a05ea55b16459249f7af6253144c00
67.8 MB Preview Download
md5:632408e46468f22ecbdccff1d260d89c
67.4 MB Preview Download
md5:bee3f3991bd01c6d79fbe321984ef660
1.4 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/minjian233/LTLCompressed/tree/1 (URL)