VeriDevOps

Popular repositories Loading

1. PyLC PyLC Public

   The initial version of the automated PLC to Python translation framework, PyLC with support of Function Block Diagram (FBD) language. The framework consists of 4 different Python scripts for import…

   Python 5

2. RQCODE RQCODE Public

   Java implementation of Requirement as Code concept. STIG requiremeents testing for Windows 10 platform

   Java 3 2

3. CICD_ARQAN_RQCODE_Github_Actions CICD_ARQAN_RQCODE_Github_Actions Public

   Security Requirement Analysis GitHub Action

   TypeScript 1 5

4. CompleteTest CompleteTest Public

   1

5. THOE THOE Public

   THreat Oracle Engine (documentation only)

   1

6. Earlytool Earlytool Public

   An implementation of the approach presented in https://arxiv.org/abs/2201.11628

   Python 1