https://blog.systerel.fr/Minh-Thang is a formal method engineer at Systerel.enContents © 2026 <a href="mailto:contact@systerel.fr">Systerel</a> Mon, 15 Jun 2026 14:33:51 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://blog.systerel.fr/posts/2025-12/fuite-memoire-preuveB/Minh-Thang Khuu<div><p><a href="https://blog.systerel.fr/images/memleak_preuveB/Memory-Leak.jpg" class="image-reference"><img src="https://blog.systerel.fr/images/memleak_preuveB/Memory-Leak.thumbnail.jpg" class="float-right"></a></p> <p>L'objectif de cet article est de donner un retour d'expérience de la preuve B pour la détection du risque de fuite mémoire dans le code généré à partir d'un modèle B et dans le cas qui nous intéresse, du modèle B de <a href="https://blog.systerel.fr/fr/posts/2020-02/s2opc-secure-open-source-opc-ua/">S2OPC</a></p> <p><a href="https://blog.systerel.fr/posts/2025-12/fuite-memoire-preuveB/">Read more…</a> (7 min remaining to read)</p></div>https://blog.systerel.fr/posts/2025-12/fuite-memoire-preuveB/Fri, 19 Dec 2025 08:10:28 GMT