Rust Bangalore
Rust Bangalore

March 2024 Rustacean Meetup

March 2024 Rustacean Meetup

All submissions
This submission has been added to the schedule

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
All submissions

Comments

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

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

{{ errorMsg }}

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

Hosted by

Rust Bangalore
Rust Bangalore
A community of Rust language contributors and end-users from Bangalore. We have presence on the following telegram channels https://t.me/RustIndia https://t.me/fpncr LinkedIn: https://www.linkedin.com/company/rust-india/ Twitter (not updated frequently): https://twitter.com/rustlangin more