Articles of Formal verification of