56:09Verus - Verified Rust for low-level systems code by Andrea Lattuada - Rust Zürisee June 2023Rust Programming Language4.8K viewsView & Download
5:08do you know how "return" works under the hood? (are you SURE?)Low Level491.0K viewsView & Download
8:33Formal Method for Avionics Software Verification pt4 (Hervé Delseny)AdaCore727 viewsView & Download
16:12everything is open source if you know reverse engineering (hack with me!)Low Level919.7K viewsView & Download
3:35Formal Verification Explained: Model Checking & Program Verification for BeginnersCodeLucky1.4K viewsView & Download
18:25Why Some Low-Level Projects Are Full of Weird Code Like ThisCore Dumped248.9K viewsView & Download