### Formal Verification Results

##### Auditor
* Runtime Verification (https://github.com/runtimeverification)

##### Notes
The formal verification was based on commit [427d6f7e779431333c54bcb4d4cde31e4d57ce96](https://github.com/gnosis/safe-contracts/commit/427d6f7e779431333c54bcb4d4cde31e4d57ce96) 

Critical findings have been fixed with https://github.com/gnosis/safe-contracts/pull/90

##### Files
* [Formal Verification Report](Gnosis_Safe_Formal_Verification_Report_1_0_0.pdf)