Talk at NFM2020

We presented our results on benchmarking software model-checkers on automotive code at the virtual NFM2020 symposium. Check out the video at https://youtu.be/XLzIXVNCIuk?t=19941 !