Skip to content
@VerifAPS

VerifAPS

Verification Automated Production Systems

Pinned Loading

  1. stvs Public

    StructuredText Verification Studio

    Java 10

  2. verifaps-lib Public

    Libraries for the analysis of IEC61131-3 code

    Kotlin 16 5

Repositories

Showing 10 of 11 repositories
  • verifaps-lib Public

    Libraries for the analysis of IEC61131-3 code

    Kotlin 16 5 0 1 Updated Mar 24, 2025
  • setup-nuxmv Public
    TypeScript 0 MIT 0 0 0 Updated Mar 4, 2025
  • verifaps.github.io Public

    Website

    HTML 0 GPL-3.0 0 0 0 Updated Dec 4, 2020
  • verifaps-website Public
    HTML 0 0 0 0 Updated Mar 28, 2019
  • geteta-vscode Public

    VS Code extension for Generalized Test Tables

    TypeScript 0 0 0 0 Updated Feb 13, 2019
  • stvs Public

    StructuredText Verification Studio

    Java 10 GPL-3.0 0 22 1 Updated Oct 12, 2018
  • playground Public
    JavaScript 0 0 0 0 Updated Aug 7, 2018
  • xPPU_Model_Share Public
    0 GPL-3.0 0 0 0 Updated Mar 21, 2018
  • atom-iec61131 Public
    JavaScript 1 0 0 0 Updated Feb 17, 2018
  • iec-modularization Public archive

    Proof modularization for IEC61131 software

    Java 0 0 0 0 Updated Jun 8, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…