Verification for Automated Production Systems

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.

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:

<repositories>
  <repository>
    <id>formal-iti-kit</id>
    <url>https://formal.iti.kit.edu/maven2/</url>
  </repository>
</repositories>

New repository in planning.

Funded within IMPROVE APS