Vericert Alternatives

Similar projects and alternatives to vericert

koika

2 128 0.0 Coq vericert VS koika

A core language for rule-based hardware design 🦑
silveroak

3 97 7.3 Coq vericert VS silveroak

Discontinued Formal specification and verification of hardware, especially for security and privacy.
InfluxDB

www.influxdata.com featured

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
CompCert

36 1,767 7.2 Coq vericert VS CompCert

The CompCert formally-verified C compiler
kami

2 139 3.6 Coq vericert VS kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification (by mit-plv)
ConCert

1 108 8.0 Coq vericert VS ConCert

A framework for smart contract verification in Coq
hardware

2 22 0.0 Standard ML vericert VS hardware

Verilog development and verification project for HOL4 (by CakeML)
Doubly-Linked-List-VST

1 2 10.0 Coq vericert VS Doubly-Linked-List-VST

Discontinued The final project for CS2603 (2021 Spring), aiming to verify a doubly linked list library using VST. Collaborating with @karzexcc
SaaSHub

www.saashub.com featured

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 plus user suggested alternatives. Hence, a higher number means a better vericert alternative or higher similarity.

Suggest an alternative to vericert

vericert reviews and mentions

Posts with mentions or reviews of vericert. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-03.

There's an ongoing effort to rewrite Principia Mathematica using Coq
5 projects | /r/math | 3 Dec 2021

There are ongoing research projects about that, you may want to have a look at Kôika (https://github.com/mit-plv/koika), Kami (https://github.com/mit-plv/kami), Lutsig (https://github.com/CakeML/hardware) and silveroak (https://github.com/project-oak/silveroak). Closer to HLS there is also Vericert (https://github.com/ymherklotz/vericert). There may be other research project I am unaware of, feel free to add them in a reply, I am interested in it.