|
Scala |
40 |
Definition of the Viper intermediate verification language. |
Jul 31, 2022 |
|
Dafny |
4 |
VeriBetrKV OSDI'20 artifact |
Jun 16, 2022 |
|
Dafny |
9 |
Verifying OpenTitan |
Apr 24, 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 |
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 |
|
Scala |
19 |
Verification-condition-generation-based verifier for the Viper intermediate verification language. |
Jul 20, 2022 |
|
Scala |
42 |
Symbolic-execution-based verifier for the Viper intermediate verification language. |
Aug 08, 2022 |
|
None |
4 |
Seedx Dropzone Token verification info for verified Airdrop |
Apr 25, 2023 |
|
OCaml |
25 |
C Intermediate Language |
Aug 18, 2022 |
|
C++ |
3 |
Intermediate bytecode language |
Jan 03, 2022 |
|
Makefile |
3 |
An Intermediate Constructed Language |
Apr 06, 2022 |
|
F# |
218 |
Verified Assembly Language for Everest |
Aug 03, 2022 |
|
Python |
4 |
C†: intermediate quantum programming language |
May 14, 2021 |
|
Python |
17 |
AIL: The angr Intermediate Language. |
Aug 11, 2022 |
|
C++ |
2 |
Virtual-machine Translation Intermediate Language |
Jul 13, 2022 |
|
None |
2 |
Virtual-machine Translation Intermediate Language |
Jun 27, 2022 |
|
Python |
19 |
Python S-expression Intermediate Language |
Oct 04, 2022 |
|
None |
2 |
Virtual-machine Translation Intermediate Language |
Nov 26, 2022 |
|
Rust |
2 |
An experimental language intermediate representation |
Feb 14, 2024 |
|
TypeScript |
8 |
Student status verification (verified checkmark, major vanity roles) for Discord servers |
Mar 31, 2023 |
|
C++ |
2 |
Multi-Language Verification Benchmarks |
Jan 20, 2020 |
|
C++ |
105 |
Compiler intermediate language for static analysis. |
Jun 01, 2022 |
|
Haskell |
37 |
An experimental intermediate language for GHC |
Oct 27, 2020 |
|
Coq |
3 |
Proofs for properties of a gradually verified language based on a statically verified one. |
Mar 29, 2019 |
|
C |
11 |
C language Independent Verification & Validation |
Jun 01, 2022 |
|
Rust |
5 |
Vel: A language for verified low-level software |
Jan 10, 2023 |
|
OCaml |
238 |
Scilla - A Smart Contract Intermediate Level Language |
Aug 06, 2022 |
|
C |
16 |
Intermediate Compute Language with OpenCL/CUDA Backends |
Dec 16, 2021 |
|
Yacc |
2 |
Generates Intermediate code for language called "Simpl" |
Mar 11, 2023 |