The verification of the logic using formal mathematical tools is called
A. arithmetic verification
B. formal verification
C. mathematical verification
D. logical verification
Answer:A
The verification of the logic using formal mathematical tools is called
A. arithmetic verification B. formal verification C. mathematical verification D. logical verification
Explanation: The verification of the logic using formal mathematical tools is called formal verification.