diff options
| author | Yoichi Hirai <i@yoichihirai.com> | 2017-07-27 17:30:12 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-27 17:30:12 +0800 |
| commit | a20e5fc0481d49616ea3a931e72b5c2e8b255e73 (patch) | |
| tree | 9046041af102c4dd68a01d3a1944b0edad84fcda /docs/security-considerations.rst | |
| parent | 241322e80555acddff919705e911217e41913b75 (diff) | |
| parent | 31449c9834cb2b1c7fe4b6d7dc554cbc65f87c20 (diff) | |
| download | dexon-solidity-a20e5fc0481d49616ea3a931e72b5c2e8b255e73.tar dexon-solidity-a20e5fc0481d49616ea3a931e72b5c2e8b255e73.tar.gz dexon-solidity-a20e5fc0481d49616ea3a931e72b5c2e8b255e73.tar.bz2 dexon-solidity-a20e5fc0481d49616ea3a931e72b5c2e8b255e73.tar.lz dexon-solidity-a20e5fc0481d49616ea3a931e72b5c2e8b255e73.tar.xz dexon-solidity-a20e5fc0481d49616ea3a931e72b5c2e8b255e73.tar.zst dexon-solidity-a20e5fc0481d49616ea3a931e72b5c2e8b255e73.zip | |
Merge pull request #2636 from ethereum/docs-random
Random documentation fixes
Diffstat (limited to 'docs/security-considerations.rst')
| -rw-r--r-- | docs/security-considerations.rst | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/security-considerations.rst b/docs/security-considerations.rst index 9efc5721..6586cb5f 100644 --- a/docs/security-considerations.rst +++ b/docs/security-considerations.rst @@ -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 |