https://github.com/galoisinc/pate

Patches Assured up to Trace Equivalence
https://github.com/galoisinc/pate

arm binary-analysis compositional-verification powerpc static-analysis verification

Last synced: 10 months ago
JSON representation

Patches Assured up to Trace Equivalence

• Host: GitHub
• URL: https://github.com/galoisinc/pate
• Owner: GaloisInc
• License: other
• Created: 2020-07-30T21:21:57.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2025-04-07T15:49:48.000Z (about 1 year ago)
• Last Synced: 2025-06-07T04:36:56.839Z (11 months ago)
• Topics: arm, binary-analysis, compositional-verification, powerpc, static-analysis, verification
• Language: Haskell
• Homepage:
• Size: 19.5 MB
• Stars: 16
• Watchers: 9
• Forks: 3
• Open Issues: 31
• Metadata Files:
  • Readme: README.rst
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project