GaloisInc/pate

Patches Assured up to Trace Equivalence

语言：Haskell · GitHub 星标：17 · Fork：5

话题：arm · binary-analysis · compositional-verification · powerpc · static-analysis · verification

在 GitHub 上查看原仓库