Frama-C

Ioannis Nompelis nompelis at nobelware.com
Sun Jun 30 15:07:12 UTC 2019


211 was the number. I actually do not think it is all that many.

I am going to checkout the prover. Please put it on Frostbyte.



More information about the Friends mailing list