Published January 28, 2020
| Version 2.0
Dataset
Open
Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities"
Description
Complementary material including the proofs of all theorems presented at TACAS 2020, a detailed description of the RERS 2019 experiment, and the actual data used for the RERS 2018,RERS 2019, and TFTP experiments.
Files
Lang-Mateescu-Mazzanti-20-complement.pdf
Files
(3.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c63fc74391f2607bfdd2e7192346bb9d
|
649.0 kB | Preview Download |
|
md5:af415c094ca908b587936adcc0d16607
|
682.4 kB | Preview Download |
|
md5:ad85f27c40e2b294604cddd7206b0a13
|
2.1 kB | Preview Download |
|
md5:1c45a412af7d5f13fad25c27462d6f02
|
66.6 kB | Preview Download |
|
md5:25e14d30f405550220f53c89c873a6f3
|
1.3 MB | Preview Download |
|
md5:911818530c24f8ace0f6b787873a282a
|
30.8 kB | Preview Download |
|
md5:4958be80343ea8b252b73dd44d37fb7d
|
860.2 kB | Preview Download |