The term "algorithmic verification" is particularly at home in the fields of artificial intelligence, automation and cybercrime & cybersecurity. It describes a process in which special computing instructions - i.e. algorithms - automatically check data, processes or accesses for errors, correctness or anomalies. This usually happens faster and more reliably than if humans were to carry out this check manually.
A typical example can be found in cybersecurity: here, for example, an algorithm automatically checks whether an email is genuine or contains malicious attachments. The algorithm compares the sender, content and attachments with millions of known patterns. If something suspicious is recognised, it issues a warning or blocks the email before any damage is done.
Algorithmic inspection is also indispensable in the automation of production lines. Sensors record the quality of products and algorithms analyse the data in real time. This means that faulty products are sorted out directly before they are sold.
The algorithmic check makes many processes safer, more efficient and reduces errors - especially with large amounts of data or repetitive tasks.
Deutsch 
English (UK)