Welcome to N-PAT's documentation!
=================================

N-PAT is a proof of concept model-checking tool that supports the verification of nested-models, i.e. models whose behaviour depends on the results of verification tasks.

.. toctree::
   :maxdepth: 2
   :caption: Contents:

   usage.rst
   nmspec.rst
   examples.rst
   source.rst

Indices and tables
==================

* :ref:`genindex`
* :ref:`search`