Published April 9, 2023
| Version PLDI-23.v3
Software
Open
Galieve/transactional-jpf: Transactional JPF
Creators
- 1. KTH Royal Institute of Technology
- 2. @Adyen
- 3. Stellenbosch University
- 4. @facebook
- 5. TU Dortmund
- 6. Pivotal
Description
Graphical scripts, Dockerfile and readLatest fixed
Files
Galieve/transactional-jpf-PLDI-23.v3.zip
Files
(2.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:cc04dc41d4f5f52b9df7d9d1901fab42
|
2.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/Galieve/transactional-jpf/tree/PLDI-23.v3 (URL)