Tomáš Vojnar

De nouvelles techniques améliorent la vérification de la gestion de mémoire dans les programmes informatiques.

Un outil pour analyser les problèmes de mémoire dans le code C.

La validation précoce évite des erreurs coûteuses dans des systèmes comme les dispositifs de santé.