Formal verification is typically only used in highly safety-critical systems—and often isn’t used there either. If you look at the main applications for intelligent systems, not terribly many are safety critical—and the chances of being able to do much in the way of formal verification at a high-level seems pretty minimal anyway.
Formal verification is typically only used in highly safety-critical systems—and often isn’t used there either. If you look at the main applications for intelligent systems, not terribly many are safety critical—and the chances of being able to do much in the way of formal verification at a high-level seems pretty minimal anyway.