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).
draft pdf ⋅ slides