KubikPixel™ on Nostr: »Prusti is an automated program verifier for Rust, based on the Viper ...
»Prusti is an automated program verifier for Rust, based on the Viper infrastructure. It leverages Rust's strong type guarantees to simplify the specification and verification of Rust programs.«
Do any of you know this and use it or are there "better" or even integrated tools for this, if such a thing is needed at all?
🦀
https://www.pm.inf.ethz.ch/research/prusti.html—
#rust #rustlang #viper #coding #test
Published at
2024-05-27 07:00:45Event JSON
{
"id": "14cadfebfd6cc6338d5ab77f7952bc17cfa0d10ddd37577fce3a1c81b9156994",
"pubkey": "da365790bf863f88c720a28f5eb64636df6ab45e905e2f63a5147c7e1c278493",
"created_at": 1716793245,
"kind": 1,
"tags": [
[
"t",
"rust"
],
[
"t",
"rustlang"
],
[
"t",
"viper"
],
[
"t",
"coding"
],
[
"t",
"test"
],
[
"proxy",
"https://chaos.social/users/kubikpixel/statuses/112511762114245259",
"activitypub"
]
],
"content": "»Prusti is an automated program verifier for Rust, based on the Viper infrastructure. It leverages Rust's strong type guarantees to simplify the specification and verification of Rust programs.«\n\nDo any of you know this and use it or are there \"better\" or even integrated tools for this, if such a thing is needed at all?\n \n🦀 https://www.pm.inf.ethz.ch/research/prusti.html\n\n—\n#rust #rustlang #viper #coding #test",
"sig": "9a3e4bae7ea918bd0311d55167996708974c57ae7a0e58743b636de7d0ea7dcc19854fb4839386cc0c8d088465304f8eb82a1abe1c0fb5f7030480474e27167b"
}
