Unsurprisingly, we can see a growing interest in the Rust ecosystem regarding formal verification. I try to keep https://github.com/newca12/awesome-rust-formalized-reasoning up to date. I will add CreuSAT shortly. The…
Ho well probem solved then. I wonder why people keep searching ;-)
Did you known that in its early days Rust did take a more Pony-like approach but as ownership/borrowing took shape it was obvious that it was more scalable to move that abstraction into libraries. What safe mean is not…
I guess a bit of sarcasm but nevertheless. Excerpt from Kani doc : Kani is especially useful for verifying unsafe code in Rust. and regarding loom and shuttle : Excerpt from The Rustonomicon : Safe Rust guarantees an…
This dispersed progress is the sign of an absence of maturity but the exploration of this space with Rust is very promising : https://github.com/newca12/awesome-rust-formalized-reasoning
Unsurprisingly, we can see a growing interest in the Rust ecosystem regarding formal verification. I try to keep https://github.com/newca12/awesome-rust-formalized-reasoning up to date. I will add CreuSAT shortly. The…
Ho well probem solved then. I wonder why people keep searching ;-)
Did you known that in its early days Rust did take a more Pony-like approach but as ownership/borrowing took shape it was obvious that it was more scalable to move that abstraction into libraries. What safe mean is not…
I guess a bit of sarcasm but nevertheless. Excerpt from Kani doc : Kani is especially useful for verifying unsafe code in Rust. and regarding loom and shuttle : Excerpt from The Rustonomicon : Safe Rust guarantees an…
This dispersed progress is the sign of an absence of maturity but the exploration of this space with Rust is very promising : https://github.com/newca12/awesome-rust-formalized-reasoning