Initiation à la preuve de programme avec Frama-C

GNU/Linux Magazine HS n° 055 | juillet 2011 | Damien Balima
  • Actuellement 0 sur 5 étoiles
  • 1
  • 2
  • 3
  • 4
  • 5

Avec Frama-c, vérifiez et validez vos programmes C de manière sûre par la preuve de programme.

Abonnez-vous ou connectez-vous pour accéder à cet article