Verification for Automated Production Systems
=============================================
.. figure:: verifaps-logo.svg
:alt: VerifAPS Logo
VerifAPS is a software project that consists out of multiple subprojects
for the verification of automated production plants, i.e. programmable
logic controller software.
VerifAPS can be used as a library. For this several facades are exposed,
for e. g. parsing Structured Text, PLCOpenXML or symbolic execution.
`More Information `__
Or you can use the exposed programs.
.. toctree::
:maxdepth: 2
library/index.rst
rvt/index.rst
geteta/index.rst
stvs/index.rst
demofinal/index.rst
Applications
------------
- `rvt-aps `__ – Regression Verification
- `geteta `__ – Genteralized Test Tables for functional verification
- `stvs `__ – A graphical user interface for Generalized Test Tables.
Getting Started
---------------
You can obtain the library via `github
`__. Please follow the
instruction on the `README.md
`__.
Maven Repository
----------------
You can find old versions of VerifAPS here:
.. code-block:: xml
formal-iti-kit
https://formal.iti.kit.edu/maven2/
New repository in planning.
Funded within `IMPROVE APS `__