TY  - RPRT
TI  - IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version)
AU  - Matt Griffin
AU  - Brijesh Dongol
AU  - Azalea Raad
PY  - 2025
UR  - https://arxiv.org/abs/2504.16775
ID  - 2504.16775
ER  -