Spezifikation und Verifizierung von Solidity-Verträgen von Martin Lundfall
Ethereum Foundation
Einführung in ACT, gefolgt von einer offenen Diskussion über formale Verifizierung und Sprachmerkmale zur Unterstützung formeller Spezifikationen in Solidity.
Spezifikation und Verifizierung von Solidity-Verträgen von Martin Lundfall | Knoovi