Congruence closure with free variables Haniel Barbosa, Pascal Fontaine, and Andrew Reynolds. Accepted at 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017).
Postprint (PDF) ⋅ Report
Formal Verification of PLC programs using the B Method Haniel Barbosa, David Déharbe. ABZ, 2012.
An approach using the B method to formal verification of PLC programs in an Industrial Setting Haniel Barbosa, David Déharbe. SBMF, 2012.