Repositories list

• verifaps-lib

  Public
  Libraries for the analysis of IEC61131-3 code

  iec61131plcaps

  Kotlin

  •

  Other

  •6•19•1•2•Updated Oct 6, 2025Oct 6, 2025

• setup-nuxmv

  Public
  TypeScript

  •

  MIT License

  •0•0•0•0•Updated Oct 3, 2025Oct 3, 2025

• verifaps.github.io

  Public
  Website

  HTML

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Dec 4, 2020Dec 4, 2020

• verifaps-website

  Public
  HTML

  •0•0•0•0•Updated Mar 28, 2019Mar 28, 2019

• geteta-vscode

  Public
  VS Code extension for Generalized Test Tables

  TypeScript

  •0•0•0•0•Updated Feb 13, 2019Feb 13, 2019

• stvs

  Public
  StructuredText Verification Studio

  Java

  •

  GNU General Public License v3.0

  •0•10•22•1•Updated Oct 12, 2018Oct 12, 2018

• playground

  Public
  JavaScript

  •0•0•0•0•Updated Aug 7, 2018Aug 7, 2018

• xPPU_Model_Share

  Public
  GNU General Public License v3.0

  •0•0•0•0•Updated Mar 21, 2018Mar 21, 2018

• iec-modularization

  Public archive
  Proof modularization for IEC61131 software

  Java

  •0•0•0•0•Updated Jun 8, 2017Jun 8, 2017

• pysmvtools

  Public
  Python

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Mar 22, 2016Mar 22, 2016