The verification of the logic using formal mathematical tools is called
Posted: Thu Jul 14, 2022 8:38 am
a) arithmetic verification
b) formal verification
c) mathematical verification
d) logical verification
b) formal verification
c) mathematical verification
d) logical verification