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