4 ms·
Frama-C and Why3. Okay, maybe they're somewhat "language" projects since one is parsing C and another has its own language :)
by floatboth 8y ago
Frama-C and Why3. Okay, maybe they're somewhat "language" projects since one is parsing C and another has its own language :)