Skip to content
@VerifAPS

VerifAPS

Verification Automated Production Systems

Pinned Loading

  1. verifaps-lib verifaps-lib Public

    Libraries for the analysis of IEC61131-3 code

    Kotlin 18 5

Repositories

Showing 10 of 10 repositories
  • verifaps-lib Public

    Libraries for the analysis of IEC61131-3 code

    VerifAPS/verifaps-lib’s past year of commit activity
    Kotlin 18 5 0 0 Updated Apr 17, 2025
  • setup-nuxmv Public
    VerifAPS/setup-nuxmv’s past year of commit activity
    TypeScript 0 MIT 0 0 0 Updated Apr 4, 2025
  • verifaps.github.io Public

    Website

    VerifAPS/verifaps.github.io’s past year of commit activity
    HTML 0 GPL-3.0 0 0 0 Updated Dec 4, 2020
  • verifaps-website Public
    VerifAPS/verifaps-website’s past year of commit activity
    HTML 0 0 0 0 Updated Mar 28, 2019
  • geteta-vscode Public

    VS Code extension for Generalized Test Tables

    VerifAPS/geteta-vscode’s past year of commit activity
    TypeScript 0 0 0 0 Updated Feb 13, 2019
  • stvs Public

    StructuredText Verification Studio

    VerifAPS/stvs’s past year of commit activity
    Java 10 GPL-3.0 0 22 1 Updated Oct 12, 2018
  • playground Public
    VerifAPS/playground’s past year of commit activity
    JavaScript 0 0 0 0 Updated Aug 7, 2018
  • xPPU_Model_Share Public
    VerifAPS/xPPU_Model_Share’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Mar 21, 2018
  • iec-modularization Public archive

    Proof modularization for IEC61131 software

    VerifAPS/iec-modularization’s past year of commit activity
    Java 0 0 0 0 Updated Jun 8, 2017
  • pysmvtools Public
    VerifAPS/pysmvtools’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Mar 22, 2016

Top languages

Loading…

Most used topics

Loading…