Automated Reasoning

Techniques using algorithms and logical rules to automatically derive conclusions, often used to verify code safety or prove age