.. _chapter-rtverification:

Runtime Verification
--------------------

.. todo:: Under construction for spring 2025

Meanwhile, please refer to this tutorial on `runtime verification with TeSSLa <https://tessla.io/rv-tutorial/>`_.