Rocq Prover Formal Methods

Open-source Rocq Prover projects categorized as Formal Methods
Edit details
Formal Verification coq formal-specification Cryptography Dependent Types
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 4 Rocq Prover Formal Method Projects

Rocq Prover logo
Formal Methods

  1. magmide

    A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  3. koika

    A core language for rule-based hardware design 🦑

  4. acsl-by-example

    Public snapshots of "ACSL by Example"

  5. aws-lc-verification

    This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Rocq Prover Formal Methods discussion

Log in or Post with

Index

What are some of the best open-source Formal Method projects in Rocq Prover? This list will help you:

# Project Stars
1 magmide 835
2 koika 176
3 acsl-by-example 126
4 aws-lc-verification 70

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Loading...