Questions tagged [formal-verification]
Formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.
1
question
8
votes
1
answer
2k
views
What is SMTChecker used for in Solidity?
From the solidity docs:
If you use pragma experimental SMTChecker;, then you get additional safety warnings which are obtained by querying an SMT solver. The component does not yet support all ...
- 16.9k