.. _maintainer-verification:

Automated Static Code Verification
==================================

.. automodule:: verification