March 2024 Rustacean Meetup

March 2024 Rustacean Meetup

Vipul Vaibhaw

@vaibhawvipul

Understanding Kani : Verifier in rust ecosystem

Submitted Feb 16, 2024

  • The world of formal methods in rust
  • Understanding Kani
  • Kani Internals
  • How kani makes the rust ecosystem unique?
  • writing proofs with kani

Comments

{{ gettext('Login to leave a comment') }}

{{ gettext('Post a comment…') }}
{{ gettext('New comment') }}
{{ formTitle }}

{{ errorMsg }}

{{ gettext('No comments posted yet') }}

Hosted by

A community of rust-lang contributors and end-users from Bangalore. We also have presence on the following telegram channels https://t.me/RustIndia https://t.me/keralars https://t.me/fpncr Twitter handle: https://twitter.com/rustlangin more