
Received
Requested
Received
A formal verification engine for the Glow language that enables automatic checking of programmer supplied assertions.
Unverified smart contracts can lead to catastrophic consequences: data leaks, loss of assets, etc.
A formal verification engine for the Glow language that enables automatic checking of programmer supplied assertions.
Unverified smart contracts can lead to catastrophic consequences: data leaks, loss of assets, etc.
Playlist
EP2: epoch_length
Authored by: Darlington Kofa
EP1: 'd' parameter
Authored by: Darlington Kofa
EP3: key_deposit
Authored by: Darlington Kofa
EP4: epoch_no
Authored by: Darlington Kofa
EP5: max_block_size
Authored by: Darlington Kofa
EP6: pool_deposit
Authored by: Darlington Kofa
EP7: max_tx_size
Authored by: Darlington Kofa