Skip to content

@aartifact Usability in Formal Verification and Aartifact

Change the repository type filter

All

    Repositories list

    5 repositories

    • aartifact.github.io

      Public
      Webpage describing the various projects undertaken as part of this effort.
      HTML
      •0•0•0•0•Updated Aug 5, 2020Aug 5, 2020

    • aartifact

      Public
      Infrastructure for defining and implementing integrated environments that incorporate multiple formal reasoning assistance, verification, validation, analysis, and interpretation techniques.
      Python
      •0•1•0•0•Updated Sep 16, 2017Sep 16, 2017

    • aartifact-verifier

      Public
      Lightweight formal verification system developed to support research on usability of automated proof verification tools.
      logicproofsformal-verification
      Haskell
      •
      MIT License
      •0•4•0•0•Updated Sep 11, 2017Sep 11, 2017

    • aartifact-light

      Public
      Lightweight web-based formal verification tool.
      JavaScript
      •0•0•0•0•Updated Sep 9, 2017Sep 9, 2017

    • random-exercise-generator

      Public
      Random exercise generator for a course on modular arithmetic.
      PHP
      •
      MIT License
      •0•0•0•0•Updated Sep 8, 2017Sep 8, 2017