There is a newer version of the record available.

Published November 18, 2022 | Version v1
Software Open

ByteBack FM 2023 Replication Package

Creators

  • 1. USI Università della Svizzera italiana

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 (5.1 MB)

Name Size Download all
md5:c9a54b0e57aad3195e897f39985763d9
5.1 MB Preview Download