VerifAPS

Libraries for the analysis of IEC61131-3 code

Kotlin 23 7 1 0 Updated Aug 10, 2026

GitHub Action for Installing the NuXMV model-checker

Shell 0MIT 0 0 0 Updated Aug 10, 2026

Website

HTML 0GPL-3.0 0 0 0 Updated Dec 4, 2020

HTML 0 0 0 0 Updated Mar 28, 2019

VS Code extension for Generalized Test Tables

TypeScript 0 0 0 0 Updated Feb 13, 2019

stvs Public

StructuredText Verification Studio

Java 10GPL-3.0 0 22 1 Updated Oct 12, 2018

JavaScript 0 0 0 0 Updated Aug 7, 2018

0GPL-3.0 0 0 0 Updated Mar 21, 2018

Proof modularization for IEC61131 software

Java 0 0 0 0 Updated Jun 8, 2017

Python 0GPL-3.0 0 0 0 Updated Mar 22, 2016

Navigation Menu