mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Remove reference to Why3
This commit is contained in:
parent
a605e4eb95
commit
106763d08e
@ -280,8 +280,7 @@ Formal Verification
|
|||||||
Using formal verification, it is possible to perform an automated mathematical
|
Using formal verification, it is possible to perform an automated mathematical
|
||||||
proof that your source code fulfills a certain formal specification.
|
proof that your source code fulfills a certain formal specification.
|
||||||
The specification is still formal (just as the source code), but usually much
|
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
|
simpler.
|
||||||
it will be better documented soon.
|
|
||||||
|
|
||||||
Note that formal verification itself can only help you understand the
|
Note that formal verification itself can only help you understand the
|
||||||
difference between what you did (the specification) and how you did it
|
difference between what you did (the specification) and how you did it
|
||||||
|
Loading…
Reference in New Issue
Block a user