Published November 18, 2022
| Version v2
Software
Open
ByteBack FM 2023 Replication Package
Description
This archive includes the release of ByteBack described in the paper: Verifying Functional Correctness Properties At the Level of Java Bytecode by Marco Paganoni and Carlo A. Furia (Proceedings of FM 2023, Lecture Notes in Computer Science, Springer, 2023).
Files
byteback-fm23.zip
Files
(264.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:97ed9b0368cd31d1dd307e443fe582b8
|
264.7 kB | Preview Download |