PyBoogie

March 2018-Present, UC San Diego

Implementation of a core subset of Boogie language.

Github repo