cairo-vm icon indicating copy to clipboard operation
cairo-vm copied to clipboard

Published 20 hours ago • verified publisher icon lambdaclass

Research using kani

Open igaray opened this issue 3 years ago • 0 comments

The kani rust verifier project might be useful.

  • Research the tool and it's best uses.
  • Find if possible applications within cleopatra
  • Expected output: an informed discussion on how to best use formal verification.

Resources:

  • https://model-checking.github.io//kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html
  • https://github.com/model-checking/kani
  • https://news.ycombinator.com/item?id=30786511
  • https://news.ycombinator.com/item?id=31266495
  • https://www.reddit.com/r/rust/comments/uic2dy/announcing_the_kani_rust_verifier_project/
  • https://model-checking.github.io/kani/

igaray avatar May 27 '22 20:05 igaray