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 `__