Posts by Laurent Voisin Laurent Voisin has a huge background on formal method. He is Systerel’sCTO. RSS feed (en) Flux RSS (fr) 2021-06-22Use of B method for dynamic structures in S2OPC
