aartifact/aartifact-verifier aartifact/aartifact-verifier

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • License
    MIT License
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aartifact/aartifact-verifier
github

aartifact

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Lightweight formal verification system developed to support research on usability of automated proof verification tools.

More Repositories

1

aartifact

Infrastructure for defining and implementing integrated environments that incorporate multiple formal reasoning assistance, verification, validation, analysis, and interpretation techniques.
Python
1
star