Share:
  • Title:Towards Sound `unsafe` Rust
  • Duration: 1:04:20
  • Plays: 357 views
  • Published: 2 weeks ago
Download MP3
Download MP4


Simillar Videos

Contracts, Revisited▶️ 58:58
Contracts, Revisited 357 views • 1 month ago
March Session -- Kani▶️ 53:18
March Session -- Kani 357 views • 2 years ago
Gillian Rust: A hybrid approach to unsafe Rust verification▶️ 55:21
Gillian Rust: A Hybrid Approach To Unsafe Rust Verification 357 views • 7 months ago
Verus -- SMT-based verification of Rust systems code▶️ 1:19:51
Verus -- Smt-based Verification Of Rust Systems Code 357 views • 1 year ago