pjmlp 14 minutes ago

For sure, however if you bothered to read it, MISRA verifiers and Deputy are given as examples from prior art.