Awesome Open Source

Programming Languages

Search results for blockchain formal verification

formal-verification x

9 search results found

Ouroboros High Assurance ⭐ 80

High-assurance implementation of the Ouroboros protocol family

High Assurance Legacy ⭐ 79

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Verismart Public ⭐ 65

a safety verifier for Solidity smart contracts

Information about the Interchain Foundation Funding Program

Zen Wallet ⭐ 34

Node and GUI for the Zen Protocol.

Tm Proposer Idris ⭐ 13

Formalization of Tendermint proposer election properties

Blockchain ⭐ 10

A verified permissioned centralized Blockchain for Isabelle/HOL

Smartcontracttester ⭐ 9

Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites

A Correct-by-Construction Blockchain Protocol Implementation

Related Searches

Javascript Blockchain (4,624)

Blockchain Ethereum (3,578)

Blockchain Contracts (2,244)

Python Blockchain (1,710)

Blockchain Bitcoin (1,599)

Blockchain Cryptocurrency (1,589)

Blockchain Transaction (1,543)

Typescript Blockchain (1,509)

Blockchain Wallet (1,404)

Blockchain Solidity (1,390)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.