.. fvm documentation master file, created by
   sphinx-quickstart on Thu Feb  6 22:57:40 2025.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

.. Add your content using ``reStructuredText`` syntax. See the
   `reStructuredText <https://www.sphinx-doc.org/en/master/usage/restructuredtext/index.html>`_
   documentation for details.


.. _index:

Welcome to FVM!
===============

FVM is a **Formal Verification Methodology** that aims to **lower the adoption
barriers** for formal verification.

In other words, **let's make Formal Verification easier!**

To learn more, go to the next section: :ref:`fv_intro`

.. toctree::
   :maxdepth: 4
   :caption: About
   :hidden:

   fv_intro
   fvm_intro

.. toctree::
   :maxdepth: 4
   :caption: Getting started
   :hidden:

   installation
   firstexample

.. toctree::
   :maxdepth: 4
   :caption: Concepts
   :hidden:

   directives
   sequencesandproperties
   metrics
   concepts

.. toctree::
   :maxdepth: 4
   :caption: Examples
   :hidden:

   examples

.. toctree::
   :maxdepth: 4
   :caption: Public API
   :hidden:

   fvmframework_class
   commandline
   drom2psl

.. toctree::
   :maxdepth: 4
   :caption: Internal API
   :hidden:

   modules

.. toctree::
   :maxdepth: 4
   :caption: Advanced
   :hidden:

   complexityreduction
   formaltestplans
   formalfriendlydesign

.. toctree::
   :maxdepth: 4
   :caption: Appendix
   :hidden:

   license
   acknowledgement
   publications