Published September 2, 2024
| Version 1.0.0
Dataset
Open
Included Papers in SLR on TLA+ Industrial Practice
- 1. University of Bern
Files
Files
(183.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:472614dd9e5c0a22dbd54ac393d56785
|
23.6 kB | Download |
|
md5:ebd0effe262f2d646ed3121cdd95bff3
|
159.7 kB | Download |
Additional details
Related works
- Is supplement to
- Conference proceeding: 10.1007/978-3-031-76554-4_2 (DOI)
Funding
- Swiss National Science Foundation
- RUNVERSPACE: Runtime Veri?cation for Space Software Architectures 220875