afv alternatives and similar packages

Based on the "Formal Methods" category.
Alternatively, view afv alternatives based on common mentions on social networks and blogs.

what4

9.4 4.5 afv VS what4

Symbolic formula representation and solver interaction library
hermit

9.0 0.0 afv VS hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

Static code analysis for 29 languages.

Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

Promo www.sonarqube.org

sbvPlugin

8.1 0.0 afv VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.
smtlib2

6.7 0.0 afv VS smtlib2

SMTLib2 interface implementation for Haskell
SmtLib

6.0 0.0 afv VS SmtLib

Parser for smt-lib Command responses
theoremquest

4.6 0.0 afv VS theoremquest

A common library for TheoremQuest, a theorem proving game.
tptp

4.2 0.0 afv VS tptp

Parser and pretty printer for the TPTP language
acl2

3.4 0.0 afv VS acl2

Writing and calling ACL2 from Haskell.