silveroak

Formal specification and verification of hardware, especially for security and privacy. (by project-oak)
#Formal Verification #coq #Hardware
Source Code
Suggest alternative | Edit details

Silveroak Alternatives

Similar projects and alternatives to silveroak based on common topics and language

  • GitHub repo CompCert

    The CompCert formally-verified C compiler

  • GitHub repo Coq-Equations

    A function definition package for Coq

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

  • GitHub repo corn

    Coq Repository at Nijmegen [[email protected],@VincentSe]

  • GitHub repo fourcolor

    Formal proof of the Four Color Theorem

  • GitHub repo toychain

    A minimalistic blockchain consensus implemented and verified in Coq

  • GitHub repo coq-library-undecidability

    A library of mechanised undecidability proofs in the Coq proof assistant.

  • GitHub repo practical-fm

    A gently curated list of companies using verification formal methods in industry

  • SaaSHub

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

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better silveroak alternative or higher similarity.

Suggest an alternative to silveroak

Posts

Posts where silveroak has been mentioned. We have used some of these posts to build our list of alternatives and similar projects.
  • Silveroak - Formal specification and verification of hardware
    reddit.com/r/Coq | 2021-05-20

Stats

Basic silveroak repo stats
1
79
9.5
6 days ago

project-oak/silveroak is an open source project licensed under Apache License 2.0 which is an OSI approved license.