Rust was designed to improve software development with verification of code, especially when it comes to memory management. This includes how pointers and memory references are used.
Check out this eBook to learn how Rust has the potential to transform safety-critical software development.