This tutoriel is a revised version of the one I gave at PFIA 2020. Since I was working on my manuscript at this time, answering my yearly need for giving a tutorial required a bit of adjustments. In particular, I gave this tutorial with a strong introduction on deep learning by Guillaume and an introduction on software safety (not necessarily formal methods) by Zakaria.
Unfortunately, I was not able to get any recordings. Code and slides are available on the top widgets.