ByteBack: Replication Package for FASE 2025

software

posted on 2025-01-29, 11:14 authored by Marco PaganoniMarco Paganoni, Carlo A. Furia

This is ByteBack's replication package for the FASE 2025 paper "Reasoning about Substitutability at the Level of JVM Bytecode".

History

Usage metrics

Categories

Keywords

Deductive Verification

Licence

Exports