2:34Interactive Runtime Verification - a short tutorial using VerdeRaphaël Jakse23 viewsView & Download
16:59Symbolic testing in Solidity using KEVM and Foundry - Andrei Văcaru - Runtime Verification, Inc.ETH Belgrade65 viewsView & Download
6:59Effect of runtime verification on task completion efficiency in human-swarm interaction (Tutorial)Ayo Abioye272 viewsView & Download
28:47Solidity Debugging meets Formal Methods - Raoul Schaffranek | Runtime Verification, Inc.ETH Belgrade89 viewsView & Download
4:17Introducing Komet: Formal Verification and Fuzzing for SorobanRuntime Verification90 viewsView & Download
50:28Foundations on runtime verification (Martin Leucker, University of Luebeck, Germany)Yliès Falcone850 viewsView & Download
4:32Mission Development by Combining Temporal Task Planning and Runtime VerificationSebastián Zudaire38 viewsView & Download
1:15Tutorial Teaser - BDDs for Representing Data in Runtime VerificationRV2020106 viewsView & Download
34:31Solidity Internals - Raoul Schaffranek | Runtime VerificationETH Belgrade116 viewsView & Download
2:55RV4SAH: Runtime Verification for Safe Autonomy in Hypervisors by DLR & fentISS (Digitized Transport)SMART4ALL Project15 viewsView & Download
47:17Proofcast by rv 105 - Learn Formal Verification in 45 minutes with KontrolRuntime Verification4.5K viewsView & Download
23:13GeneSys Tutorial | ASPLOS 2024 | Real-world Examples, GeneSys runtime, verification, profiling toolsACT Lab - GeneSys99 viewsView & Download
1:18:09Whiteboard Series with NEAR | Ep: 39 Rikard Hjort from Runtime VerificationNEAR Protocol502 viewsView & Download