4 ms·Does that mean I can use C + Frama-C so I won't have to use Rust (or Ada / SPARK)? :Pby johnisgood 1y agoDoes that mean I can use C + Frama-C so I won't have to use Rust (or Ada / SPARK)? :P