newca12

4 ms·

1. 1.▲
   by newca12 4y ago

   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
2. 2.▲
   by newca12 5y ago

   Ho well probem solved then. I wonder why people keep searching ;-)
3. 3.▲
   by newca12 5y ago

   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 that easy to def
4. 4.▲
   by newca12 5y ago

   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 absence of data races,
5. 5.▲
   by newca12 5y ago

   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
6. 6.▲
   Awesome-Rust-Formalized-Reasoning(github.com)

   2 points by newca12 6y ago|0 comments