nl research seminars #26| micse: automated verification and testing of tezos smart contracts
Published 2 years ago • 171 plays • Length 54:39Download video MP4
Download video MP3
Similar videos
-
59:38
nomadic labs research seminars #2 | verifying tezos smart contracts in the mi-cho-coq framework
-
16:13
introduction to tezos smart contracts
-
2:55:46
smart contract languages & formal verification, part 2 - tezos workshop
-
55:45
nomadic labs research seminars #8 | bringing k powered blockchain security to tezos
-
1:44
introduction to tezos smart contracts: learn ligo, smartpy, archetype and michelson
-
54:04
nomadic labs research seminars #10 | high-level smart contract design & verification with archetype
-
17:49
how to integrate reown appkit on evm - ethglobal singapore 2024
-
45:23
smart contract tutorial - create a lottery smart contract in solidity
-
34:34
smart contract tutorial - vending machine smart contract in solidity
-
4:38:21
smart contract languages & formal verification, part 1 - tezos workshop
-
49:15
nomadic labs research seminars #17 | prototype of a typical smart contract agency
-
57:03
nomadic labs research seminars #7 | smartpy: the inner workings
-
2:09
sui blockchain tutorial 1.1 setup local testnet
-
48:12
tezos developer day - roland zumkeller from smartpy
-
12:56
dev success | smart contracts and events on tezos
-
32:29
tezos blockchain development with python using smartpy library part 4.
-
13:59
tezos developer day - our work with tezos explained in 180s- neofacto equisafe sword octo skillz
-
50:51
knowing and controlling your smart contract address with evm opcodes