verifaps-lib

Library and programs for the verification of software for automated production systems.

• License: GPLv3
• Homepage: https://formal.iti.kit.edu/verifaps

How to build

Create all programs:

$ ./gradlew :exec:installDist

You can find the programs in ./exec/build/install/exec/bin.

Test project:

$ ./gradlew check

Modules overview

• symbex -- Symbolic execution engine and program transformations for Structured Text
• aps-rvt -- (Modular) Regression verification for Structued Text code
• lang -- Parser and AST for StructuredText, Sequential Function Chart, and Function Blocks
• geteta -- Framework and Tools for Generalized Test Tables
• exec -- Top-level module containing for generating programs
• ide -- graphical editor for editing Strutured Text and test table files
• run -- Interpreter for executing Structured Text
• xml -- Loading and Parsing of PCLOpenXML projects
• smv -- Model and parser for SMV -- also includes nuXmv interface
• smt -- AST and parser for SMT (SExpr)
• util and util-test --
• web-backend (disabled) -- Backend for the web frontend. (upcoming)