The verification of the logic using formal mathematical tools is called

• A. arithmetic verification
• B. formal verification
• C. mathematical verification
• D. logical verification