Keynote Talk By Mooly Sagiv: Modularity For Accurate Static Analysis Of Smart Contracts
Читать подробнее...
Talk at the Fintech Symposium 2019. Speaker: Mooly Sagiv: Certora and Tel Aviv University Abstract: Static code analysis is a useful technique for finding bugs in code and proving their absence. Existing industrial tools sacrifice precision which leads to false errors reported and missed bugs. I will describe a new way to perform accurate sta....
-
