GitHub repository: GaloisInc/semmc
Primary language: Haskell
Description: Stratified synthesis for learning machine code instruction semantics