Forwarded from Блог*
#prog #rust #article
Обзор инструментов для верификации кода на Rust.
alastairreid.github.io/rust-verification-tools
Обзор инструментов для верификации кода на Rust.
alastairreid.github.io/rust-verification-tools
alastairreid.github.io
Rust verification tools (2020)
The Rust language and the Rust community are really interesting if you are
want to build better quality systems software.
want to build better quality systems software.