Video from FOSDEM 2021. Adding contracts to the GCC GNAT Ada standard libraries to strengthen analysis provided by formal verification tools