Convection forcée entre deux pièces d’un appart en été ?
Sciences, par otini –
Salut, moi c’est Olivier. 
J’aime notamment l’informatique, les langues et le thé à toute heure du jour et de la nuit. En ce qui concerne mon insertion dans cette société de sur-travail, je suis actuellement doctorant en thèse d’informatique, où je m’efforce de montrer avec un haut degré de certitude l’absence de certains bugs dans des systèmes d’exploitation utilisés dans des trucs critiques (genre des avions ou des voitures).
Pour être plus précis et pour celleux à qui ça parle, je prouve des propriétés de sûreté (comme la sûreté mémoire) sur des binaires, principalement par interprétation abstraite en calculant une abstraction de tous les états possibles du système en chaque point.
Au plaisir
Derniers sujets créés Voir tout
Extraire le texte d'un PDF
Les autres savoirs, par otini –
Je ne comprends pas cet idiome Lua
Programmation, par otini –
Erreur de segmentation en lançant zathura
Systèmes et Matériels, par otini –