Explore projects
-
Updated
-
Padayachi, Marimuthu (PG/T - Comp Sci & Elec Eng) / AWT-Inventory-Management
CI/CD Catalog (unpublished)Updated -
Updated
-
-
Updated
-
Updated
-
Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.
Updated