https://blog.systerel.fr/Laurent Voisin a une belle expérience dans les méthodes formelles. Il est directeur technique de SysterelfrContents © 2026 <a href="mailto:contact@systerel.fr">Systerel</a> Mon, 15 Jun 2026 14:33:50 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://blog.systerel.fr/fr/posts/2021-06/b-method-for-dynamic-structures-in-s2opc/Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin<div><p>The software B method has so far been mainly used in the industrial world to develop safety critical software with very basic memory management limited to arrays of fixed size defined at compilation time.</p> <p>We present here an alternative approach for modelling software based on a more classic memory management with dynamically allocated complex data structures accessed through pointers.</p> <p><a href="https://blog.systerel.fr/fr/posts/2021-06/b-method-for-dynamic-structures-in-s2opc/">Lire la suite…</a> (Il reste encore 7 min. de lecture)</p></div>https://blog.systerel.fr/fr/posts/2021-06/b-method-for-dynamic-structures-in-s2opc/Tue, 22 Jun 2021 09:57:44 GMT