/verifaps-lib

Libraries for the analysis of IEC61131-3 code

Primary LanguageKotlinOtherNOASSERTION

verifaps-lib CircleCI Quality Gate Status

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

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)