We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Welcome to the Silver wiki! These pages will contain in-depth technical documentation of the different parts of Silver.
Silver contains two main parts: a static analyzer and a formal verifier for smart contracts.