Content by Tobias Reiher
Tobias Reiher
AdaCore
Tobias Reiher is a Senior Rust Engineer and the Technical Lead of the RecordFlux technology at AdaCore. With a decade of experience in designing and implementing secure systems, he is committed to creating correct software.
[Blog Post]
Running cargo test on Bare Metal: Adding libtest Support to GNAT Pro for Rust
This post walks through how we added libtest support to GNAT Pro for Rust using the AMD Zynq UltraScale+ MPSoC as the concrete example.
[Blog Post]
Enabling Rust on the AMD Zynq UltraScale+ MPSoC
In this post, we’re sharing our journey of building a dedicated crate that provides support for the AMD Zynq UltraScale+ MPSoC.
[Blog Post]
Building a Virtual Mars Rover with SPARK and Rust
We have taken our Ada Mars Rover demo, featuring a physical robot driven by formally verified SPARK software, to the next level by introducing a…