2 ms·Frama-C is big reason why I think learning and writing C makes still sense in 2023.by zokier 4y agoFrama-C is big reason why I think learning and writing C makes still sense in 2023.