Verification
============

This section documents the verification tools and frameworks used throughout Lotus.

.. toctree::
   :maxdepth: 2

   analysis
   backend
   clam
   sifa
   symabs-ai
   seahorn
   failure_directed_trimming
   transforms