bakirtzisg/cybok-cli bakirtzisg/cybok-cli

  • This repository has been archived on 01/Oct/2021
  • Stars
    star
    13
  • Rank 1,504,132 (Top 30 %)
  • Language
    Python
  • License
    BSD 3-Clause "New...
  • Created about 6 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bakirtzisg/cybok-cli
github

bakirtzisg

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A vulnerability assessment tool for system models

More Repositories

1

security-analyst-dashboard

A security dashboard for analyzing cyber-physical system designs
Java
14
star
2

AlgebraicRL.jl

Reinforcement learning, compositionally
Julia
9
star
3

AlgebraicContracts.jl

Specifying contracts compositionally
Julia
4
star
4

dynamic-certification

Python
2
star
5

graphml_export

A GraphML exporter for MagicDraw SysML
Groovy
1
star
6

AlgebraicSystems.jl

Mechanizing compositional cyber-physical systems theory
1
star
7

GeneralizeX

Reinforcement learning generalization, categorically
Python
1
star
8

ComposeX

Compositional arm robot learning
Python
1
star