Formalization of the FFI and proofs for the VeriPhy pipeline.
MonitorProgScript.sml: Translation and hand coded stubs
MonitorProofScript.sml: Proofs for MonitorProg
botFFIProofScript.sml: Proofs specific to botFFI
botFFIScript.sml: The botFFI interface
compile: Compilation set up
intervalArithScript.sml: A HOL4 copy of interval arithmetic