A framework for formally verifying distributed systems implementations in Coq
-
Updated
May 17, 2024 - Coq
#
verdi
Here are 6 public repositories matching this topic...
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
-
Updated
Oct 23, 2017 - Coq
Verdi framework runtime library
-
Updated
Dec 16, 2022 - OCaml
A verified system transformer for serialization of Verdi systems using the Cheerios library.
-
Updated
Aug 24, 2017 - Coq
Created a RISC-V Pipelined processor in SystemVerilog with features like Caches, Prefetching, History Table. Skills employed: SystemVerilog, Verdi, Logic Design, Computer Architecture
-
Updated
Jul 2, 2023 - HTML
Improve this page
Add a description, image, and links to the verdi topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verdi topic, visit your repo's landing page and select "manage topics."