Usability in Formal Verification and Aartifact (@aartifact)
Guthub

aartifact

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Org. Rank 200,850 (Top 64 %)
  • Registered over 7 years ago
  • Most used languages
    Python
         50.0 %
    Haskell
         50.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 217,931
  • Country Ranking
    Haskell
         1,402

Top repositories

1

aartifact-verifier

Lightweight formal verification system developed to support research on usability of automated proof verification tools.
Haskell
4
star
2

aartifact

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