|
Dafny |
4 |
VeriBetrKV OSDI'20 artifact |
Jun 16, 2022 |
|
Dafny |
13 |
Deposit smart contract in Dafny |
Jul 27, 2022 |
|
Dafny |
8 |
ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs |
Apr 16, 2023 |
|
Dafny |
50 |
An EVM interpreter in Dafny |
Apr 13, 2023 |
|
Dafny |
4 |
A work-in-progress reimplementation of Dafny's compiler, in Dafny |
Feb 09, 2023 |
qbft-formal-spec-and-verification
|
Dafny |
2 |
None |
Jul 01, 2022 |
|
Dafny |
2 |
A tool for analyzing and reporting on Dafny, especially the results of verification |
Aug 09, 2022 |
|
Dafny |
3 |
Some examples of Dafny code to support training sessions |
Dec 21, 2021 |
|
Dafny |
14 |
A verified high-performance file system |
May 19, 2022 |
|
Dafny |
16 |
Libraries useful for Dafny programs |
Jul 24, 2022 |
|
Dafny |
51 |
Eth2.0 spec in Dafny |
Jul 04, 2022 |
|
Dafny |
3 |
Verification of Smart Contracts with Dafny – FMICS paper examples |
Mar 23, 2023 |
|
Dafny |
13 |
DaisyNFS is an NFS server verified using Dafny and Perennial. |
Sep 23, 2022 |
|
Dafny |
2 |
A verified intermediate verification language |
Mar 04, 2023 |
|
Dafny |
214 |
The MSR Ironclad project builds provably secure and reliable systems. |
Aug 02, 2022 |
|
Dafny |
2 |
Dafny |
Apr 12, 2023 |
|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
Dafny |
4 |
i am so smart |
Dec 16, 2022 |
|
Dafny |
9 |
None |
Aug 16, 2022 |
|
Dafny |
18 |
Dafny for Metatheory of Programming Languages |
Apr 09, 2023 |
|
Dafny |
4 |
Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell … |
Feb 02, 2023 |
|
Dafny |
37 |
Proving a blocking queue deadlock free in a dozen different ways |
Dec 21, 2022 |
|
Dafny |
4 |
Short introduction to Dafny |
Sep 21, 2023 |
|
Dafny |
2 |
IronSync paper artifact for OSDI 2023 |
Nov 03, 2023 |
|
Dafny |
2 |
some formal verification exercises using dafny. |
Jan 16, 2023 |
|
Python |
3 |
OpenTitan FI formal verification framework |
Aug 13, 2022 |
|
Jupyter Notebook |
9 |
Side-channel analysis setup for OpenTitan |
Jul 04, 2022 |
|
SystemVerilog |
8 |
OpenTitan: Open source silicon root of trust |
Jun 03, 2021 |
|
SystemVerilog |
1486 |
OpenTitan: Open source silicon root of trust |
Sep 01, 2022 |
|
SystemVerilog |
2 |
OpenTitan: Open source silicon root of trust |
Nov 10, 2020 |
|
SystemVerilog |
2 |
Selected peripherals from OpenTitan with PULP patches |
Mar 07, 2023 |
|
SystemVerilog |
3 |
OpenTitan: Open source silicon root of trust |
Mar 10, 2022 |
|
SystemVerilog |
2 |
OpenTitan: Open source silicon root of trust |
Mar 30, 2023 |
|
Shell |
9 |
Verifying x86 semantics |
Aug 25, 2021 |
|
SystemVerilog |
2 |
Implementation of a RISC-V-compatible Platform Interrupt Controller (PLIC). DEPRECATED in favour of the OpenTitan PLIC: … |
Apr 19, 2022 |
|
Python |
4 |
Firmware signing/verifying process |
Aug 31, 2021 |
|
Coq |
7 |
Verifying the ZX Calculus |
Mar 25, 2023 |
|
Python |
3 |
Self verifying memory chain |
Dec 11, 2018 |
|
None |
3 |
Verifying recipients of OpenBadges |
Sep 01, 2020 |
|
Python |
175 |
Metrics for verifying forecasts |
Apr 20, 2023 |
|
Go |
3 |
Library for verifying license |
Nov 24, 2021 |
|
SystemVerilog |
2 |
Python module containing resources files for opentitan misc (for use with LiteX). |
Oct 31, 2022 |
|
Python |
5 |
Tools for verifying vmspec compliance |
Dec 18, 2017 |
|
Shell |
11 |
a signature verifying command interpreter |
Apr 18, 2020 |
|
Python |
45 |
Python library for verifying Blockcerts |
Jul 06, 2022 |
|
Coq |
89 |
Verifying concurrent crash-safe systems |
Oct 14, 2022 |
|
Agda |
5 |
Agda library for verifying neural networks. |
Jul 09, 2022 |
|
Rust |
5 |
A binary for verifying Wasm interfaces |
Feb 22, 2020 |
|
Makefile |
11 |
Verifying bits of Multicore OCaml implementation |
Jan 09, 2022 |
|
F* |
12 |
F* library for verifying neural networks. |
Jun 19, 2022 |