Formal verification
AIFormal verification: Proving mathematically that a system meets its specification, proposed as a way to make AI-written code trustworthy.
Formal verification: Proving mathematically that a system meets its specification, proposed as a way to make AI-written code trustworthy.