VerifAPS

Verification Automated Production Systems

Pinned Repositories

atom-iec61131
Language:JavaScript1 3 00
geteta-vscode
VS Code extension for Generalized Test Tables
Language:TypeScript0 3 00
iec-modularization
Proof modularization for IEC61131 software
Language:Java0 4 00
playground
Language:JavaScript0 3 00
pysmvtools
Language:Python0 3 00
stvs
StructuredText Verification Studio
Language:Java9 7 440
verifaps-lib
Libraries for the analysis of IEC61131-3 code
Language:Kotlin16 4 65
verifaps-website
Language:HTML0 3 00
verifaps.github.io
Website
Language:HTML0 3 00
xPPU_Model_Share
0 3 00

VerifAPS's Repositories

VerifAPS/verifaps-lib
Libraries for the analysis of IEC61131-3 code
Language:Kotlin16 4 65
VerifAPS/stvs
StructuredText Verification Studio
Language:Java9 7 440
VerifAPS/atom-iec61131
Language:JavaScript1 3 00
VerifAPS/geteta-vscode
VS Code extension for Generalized Test Tables
Language:TypeScript0 3 00
VerifAPS/iec-modularization
Proof modularization for IEC61131 software
Language:Java0 4 00
VerifAPS/playground
Language:JavaScript0 3 00
VerifAPS/pysmvtools
Language:Python0 3 00
VerifAPS/verifaps-website
Language:HTML0 3 00
VerifAPS/verifaps.github.io
Website
Language:HTML0 3 00
VerifAPS/xPPU_Model_Share
0 3 00