|
@alphasnupe | |||||
|
The Rust programming language has significant potential to be impactful with respect to software security, particularly as the formal verification tools for the language mature.
|
||||||
|
||||||
|
Aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
@Aaaaaaa93564923
|
14. pro |
|
What formal verification tools are there so far?
|
||
|
|
||
|
snupe
@alphasnupe
|
14. pro |
|
Oxide from @aatxe is interesting. See his paper and the related works section.
|
||
|
|
||
|
✨Elina 🧙♀️ Pixel Mage 🦀🎮
@logicsoup
|
10. lis |
|
I can definitely see it as the future of systems programming.
|
||
|
|
||
|
Norrick McGee 🦀
@McgeeNorrick
|
10. lis |
|
Looking forward to seeing how Rust makes it's impact
|
||
|
|
||
|
Not an editor command: Q
@damienstanton
|
29. pro |
|
I found this project especially interesting wrt formal verification: pm.inf.ethz.ch/research/prust…
|
||
|
|
||
|
Will Richards, II
@will_richards_2
|
26. stu |
|
Any thoughts on OCAML and the build target WASM from Rust or OCAML or f-star?
|
||
|
|
||