home.social

#verus — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #verus, aggregated by home.social.

  1. Alavi | علوی @[email protected] ·

    Meet #Verus, a tool for formal verification of #Rust programs.
    I haven't used it yet, but anything related to formal verification is really interesting to me :D
    You guys give it a try and let me know how good it is (it's in very early development)

    github.com/verus-lang/verus

    #formal_methods #formal_verification
    #verification

    #verus #rust #formal_methods #formal_verification #verification
  2. Alavi | علوی @alavi ·

    Meet , a tool for formal verification of programs.
    I haven't used it yet, but anything related to formal verification is really interesting to me :D
    You guys give it a try and let me know how good it is (it's in very early development)

    github.com/verus-lang/verus


    #verus #rust #formal_methods #formal_verification #verification