What's New in CVL2
An overview of new features in CVL2 0:00 - Introduction 2:15 - Methods block changes 6:10 - Private and public 8:40 - Wildcards 13:28 - Complex types 18:49 - Summarization features 19:31 - Calling contracts from summaries 21:59 - `calledContract` and `with(env)` 27:13 - `nativeBalances` 28:42 - Storage comparison 34:04 - Integer types 42:05 - Integer advice 45:43 - Satisfy statements 50:02 - Documentation links 52:03 - Q/A
▶︎
Getting Started with Certora Prover
▶︎
Mastering Threat Modeling on Stellar: A Step-by-Step Security Blueprint for Soroban Smart Contracts
▶︎
Mastering Archive Reversing: From Hex to QuickBMS Script
▶︎
Checking Specifications - What's the Quality of My Rules?
▶︎
Webinar: How to Prevent Prover Timeouts
▶︎
7.1 Programming Paradigms (Topic 19) - AS Level Computer Science (9618)
▶︎
Co-Creator of Haskell: Why Learn Functional Programming, Useless vs Useful Languages | Simon Jones
▶︎
Something is jamming GPS over Europe. Here's what we found
▶︎
Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker
▶︎
Creator of C++: Bell Labs, Negative Overhead Abstraction, Mistakes | Bjarne Stroustrup
▶︎
using quantifiers webinar *CVL 1*
▶︎
How DeFi Hacks Have Changed in the Last 5 Years & What This Means for Protocols
▶︎
Java Full Course for Beginners
▶︎
Frequency Of God 963 Hz ✨ Attract Miracles, Divine Blessings & Deep Inner Peace In Your Life
▶︎
Klaas schickt 3-Jährigen ALLEINE zum Bäcker | Experte für Alles
▶︎
Formally Verifying Soroban Smart Contracts with Certora Sunbeam
▶︎
What rebuilding AlphaGo teaches us about self-play, RL, and future of LLMs - Eric Jang
▶︎
CppCon 2014: Mike Acton "Data-Oriented Design and C++"
▶︎
HOLY ROSARY TODAY THURSDAY, JUNE 11, 2026 ST. JUDE THADDEUS & LUMINOUS MYSTERIES | DAILY HOLY ROSARY
▶︎