Formale Verifikation, Computationale Logik, Formale Methoden, Automated Reasoning, Automatisches Beweisen
Formal verification, Computational Logic, Formal Methods, Automated Reasoning, Automated theorem proving