Formal-Methods-Blockchain

Amrita-TIFAC-Cyber-Blockchain

Formal Methods for Blockchain & Smart Contracts

consensus

View on GitHub Website

2 Stars

2 Forks

2 Watchers

mit License

63.4 SrcLog Score

Cost to Build

$403.6K

Market Value

$296.3K

How is this calculated?

Growth over time

5 data points · 2022-07-01 → 2026-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about Formal-Methods-Blockchain

Question copied to clipboard

What is the Amrita-TIFAC-Cyber-Blockchain/Formal-Methods-Blockchain GitHub project? Description: "Formal Methods for Blockchain & Smart Contracts". Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone Formal-Methods-Blockchain

Clone via HTTPS

git clone https://github.com/Amrita-TIFAC-Cyber-Blockchain/Formal-Methods-Blockchain.git

Clone via SSH

[email protected]:Amrita-TIFAC-Cyber-Blockchain/Formal-Methods-Blockchain.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the Formal-Methods-Blockchain issue tracker:

Open GitHub Issues

Similar to Formal-Methods-Blockchain

etcd fabric rqlite tikv translations quorum tendermint awesome-distributed-systems atomix paxosstore hraftd copycat burrow cita elle ethermint-archive awesome-cryptoeconomics js nanochain floyd Bismuth truechain-consensus-core uplink go-spacemesh xrpl-dev-portal awesome-decentralized-papers swim-js x0 verdi-raft yaraft