• [^] # Re: Vérification formelle

    Posté par . En réponse au journal Idée stupide sur la sécurité du code. Évalué à 4.

    Par contre, ce qui est sûr, c'est que tous les gens que j'ai vu coder sur des trucs critiques n'utilisaient pas C,

    Moi, ce qui est sûr, c'est que je n'ai vu que du C sur les trucs critiques que j'ai rencontrés :-)