solidity
by SRI-CSL
This is solc-verify, a modular verifier for Solidity.
AI summary
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
- stars
- 50
- forks
- 14
- watching
- 16
- awesome lists
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
Contract analyzer
An automated security scanner for Ethereum smart contracts
Smart contract analyzer
A security scanner for Ethereum smart contracts
ethereum/solc-js1.5K
Contract compiler
A JavaScript interface to a compiler for the Solidity programming language used in Ethereum smart contracts.
Smart Contract Editor
A Visual Studio Code extension providing language support and tools for smart contract development in Ethereum using the Solidity programming language.
Contract compiler
A tool that automates the process of compiling Solidity smart contracts with configuration stored in separate files.
Solidity repl
A tool that provides an interactive environment to experiment with Solidity snippets and execute smart contract code in Ethereum
Smart contract dev library
A comprehensive development library for building and testing upgradeable Solidity smart contracts on the Ethereum blockchain.
Token contract verifier
Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.
Contract preprocessor
A preprocessor and flattener for Ethereum's Solidity source files
Contract review framework
An opinionated security and code quality standard for Solidity smart contracts.
Contract inspector
Provides a set of security and performance rules for smart contract code.
Contract analyzer
A tool for finding and analyzing smart contracts in Solidity source code
Contract inspector
A VSCode extension for smart-contract development utilities, including optimization and debugging tools.
Featured in 3 awesome lists
Each link jumps to the spot where the list mentions solidity.
