5 ms·What kind of properties did you use Frama-C to verify?by creata 6y agoWhat kind of properties did you use Frama-C to verify?