5 ms·
Rust doesn't have a specification or standard yet, which would make it difficult to formally verify. https://stackoverflow.com/questions/75743030/is-there-a-sp
by antiquark 2y ago
Rust doesn't have a specification or standard yet, which would make it difficult to formally verify.
https://stackoverflow.com/questions/75743030/is-there-a-specification-or-standard-for-rust https://stackoverflow.com/questions/75743030/is-there-a-spec...
- gpm 2y agoIt does have a specification: https://github.com/ferrocene/specification https://github.com/ferrocene/specification It also strikes me as extraordinarily unlikely that any formal verification effort will use the existing specification, and not build their own (using their own formal language) as they go.