https://blog.systerel.fr/Laurent Voisin has a huge background on formal method. He is Systerel'sCTO.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/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/posts/2021-06/b-method-for-dynamic-structures-in-s2opc/">Read more…</a> (7 min remaining to read)</p></div>bs2opchttps://blog.systerel.fr/posts/2021-06/b-method-for-dynamic-structures-in-s2opc/Tue, 22 Jun 2021 09:57:44 GMT