cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #2636 from ethereum/docs-random

Browse Source 
Random documentation fixes
This commit is contained in:
Yoichi Hirai
2017-07-27 11:30:12 +02:00
committed by GitHub
parent 241322e805 31449c9834
commit a20e5fc048
5 changed files with 29 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/security-considerations.rst
+1 -2
View File
@@ -280,8 +280,7 @@ Formal Verification
Using formal verification, it is possible to perform an automated mathematical
proof that your source code fulfills a certain formal specification.
The specification is still formal (just as the source code), but usually much
simpler. There is a prototype in Solidity that performs formal verification and
it will be better documented soon.
simpler.
Note that formal verification itself can only help you understand the
difference between what you did (the specification) and how you did it