An approach using the B method to formal verification of PLC programs in an industrial setting H. B. and David Déharbe. SBMF, 2012.
Formal verification of PLC programs using the B Method H. B. and David Déharbe. ABZ, 2012.
Language and proofs for higher-order SMT (work in progress) H. B., Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, and Pascal Fontaine. Accepted at 5th Workshop on Proof eXchange for Theorem Proving (PxTP 2017).