Explore projects

Code accompaniment to: Combining Dynamic Mode Decomposition with Ensemble Kalman filtering for tracking and forecasting

Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.