SSPVerif
========

.. toctree::
   :maxdepth: 2

   cli
   pseudocode