From 106763d08ecd222240f1eac0515cd690680ac24c Mon Sep 17 00:00:00 2001 From: Alex Beregszaszi Date: Wed, 26 Jul 2017 11:44:28 +0100 Subject: Remove reference to Why3 --- docs/security-considerations.rst | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'docs/security-considerations.rst') diff --git a/docs/security-considerations.rst b/docs/security-considerations.rst index 658c12b2..0f7aa75f 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 -- cgit v1.2.3