3 ms·
There's Ironsides, written in Ada and SPARK for formal verification: https://ironsides.martincarlisle.com/ https://ironsides.martincarlisle.com/
by wahern 7y ago
There's Ironsides, written in Ada and SPARK for formal verification: https://ironsides.martincarlisle.com/ https://ironsides.martincarlisle.com/