I
Isabelle/HOL
Projects with this topic
-
Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.
Updated
Gitlab will be offline for technical maintenance on 03/10/2023 at 18:30 (expected downtime approx - 2 hours).
Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.