acl2 alternatives and similar packages

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

what4

9.4 6.3 acl2 VS what4

Symbolic formula representation and solver interaction library
hermit

9.0 0.0 acl2 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.2 5.2 acl2 VS sbvPlugin

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

6.8 0.0 acl2 VS smtlib2

SMTLib2 interface implementation for Haskell
SmtLib

6.0 0.0 acl2 VS SmtLib

Parser for smt-lib Command responses
afv

4.5 0.0 acl2 VS afv

C model checking.
theoremquest

4.0 0.0 acl2 VS theoremquest

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

3.5 0.0 acl2 VS tptp

Parser and pretty printer for the TPTP language