Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / ge-high-assurance / VERDICT

DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ge-high-assurance%2FVERDICT

Stars: 37
Forks: 14
Open Issues: 8

License: bsd-3-clause
Language: Java
Repo Size: 23.4 MB
Dependencies: 164

Created: over 4 years ago
Updated: 11 days ago
Last pushed: 13 days ago
Last synced: 13 days ago

Topics: architecture-analysis, attack-defense, behavioral-analysis, cyber-resiliency, fault-tree, model-checking, system-engineering

Files

Readme

Dependencies

.github/workflows/integration.yml actions

actions/checkout v4.0.0 composite
actions/setup-java v3.13.0 composite
ts-graphviz/setup-graphviz v1 composite

.github/workflows/main.yml actions

actions/checkout v4.0.0 composite
actions/setup-java v3.13.0 composite
docker/build-push-action v5.0.0 composite
docker/login-action v3.0.0 composite
docker/setup-buildx-action v3.0.0 composite
ocaml/setup-ocaml v2.0.20 composite
ts-graphviz/setup-graphviz v1 composite

.github/workflows/release.yml actions

actions/checkout v4.0.0 composite
actions/download-artifact v3.0.2 composite
actions/setup-java v3.13.0 composite
actions/upload-artifact v3.1.3 composite
docker/build-push-action v5.0.0 composite
docker/login-action v3.0.0 composite
docker/setup-buildx-action v3.0.0 composite
ocaml/setup-ocaml v2.0.20 composite
shrink/actions-docker-extract v3.0.0 composite
softprops/action-gh-release v0.1.15 composite
ts-graphviz/setup-graphviz v1 composite

tools/verdict-back-ends/Dockerfile docker

ubuntu 22.04 build

tools/pom.xml maven

org.glassfish.jaxb:jaxb-bom 4.0.3 import
co.paralleluniverse:capsule 1.0.3
com.amihaiemil.web:docker-java-api 0.0.13
com.ge.research.sadl:reasoner-api 3.6.0-SNAPSHOT
com.ge.research.sadl:reasoner-impl 3.6.0-SNAPSHOT
com.ge.research.sadl:sadlserver-api 3.6.0-SNAPSHOT
com.ge.research.sadl:sadlserver-impl 3.6.0-SNAPSHOT
com.ge.verdict:com.microsoft.z3 1.0.0-SNAPSHOT
com.ge.verdict:verdict-assurance-case 1.0.0-SNAPSHOT
com.ge.verdict:verdict-attack-defense-collector 1.0.0-SNAPSHOT
com.ge.verdict:verdict-data-model 1.0.0-SNAPSHOT
com.ge.verdict:verdict-instrumentor 1.0.0-SNAPSHOT
com.ge.verdict:verdict-lustre-translator 1.0.0-SNAPSHOT
com.ge.verdict:verdict-mbas-translator 1.0.0-SNAPSHOT
com.ge.verdict:verdict-stem-runner 1.0.0-SNAPSHOT
com.ge.verdict:verdict-synthesis 1.0.0-SNAPSHOT
com.ge.verdict:verdict-test-instrumentor 1.0.0-SNAPSHOT
com.ge.verdict:z3-native-libs 1.0.0-SNAPSHOT
com.github.davidmoten:word-wrap 0.1.12
com.sun.activation:jakarta.activation 2.0.1
commons-cli:commons-cli 1.5.0
edu.uiowa.clc.verdict.blm:verdict-blame-assignment 1.0.0-SNAPSHOT
edu.uiowa.clc.verdict.crv:verdict-crv 1.0.0-SNAPSHOT
edu.uiowa.clc.verdict:verdict-merit-assignment 1.0.0-SNAPSHOT
edu.uiowa.cs.clc:kind2-java-api 0.3.6
guru.nidi:graphviz-java 0.18.1
io.micrometer:micrometer-core 1.11.4
io.micrometer:micrometer-registry-graphite 1.11.4
junit:junit 4.13.2
net.htmlparser.jericho:jericho-html 3.4
net.sf.opencsv:opencsv 2.3
org.antlr:antlr4-runtime 4.9.3
org.apache.ant:ant 1.10.14
org.apache.commons:commons-lang3 3.13.0
org.apache.commons:commons-math3 3.6.1
org.assertj:assertj-core 3.24.2
org.glassfish:javax.json 1.1.4
org.logicng:logicng 2.4.1
org.ow2.asm:asm 9.5
org.ow2.asm:asm-analysis 9.5
org.ow2.asm:asm-commons 9.5
org.ow2.asm:asm-tree 9.5
org.ow2.asm:asm-util 9.5
org.slf4j:jcl-over-slf4j 1.7.36
org.slf4j:jul-to-slf4j 1.7.36
org.slf4j:slf4j-api 1.7.36
org.slf4j:slf4j-simple 1.7.36
org.xmlunit:xmlunit-assertj 2.9.1
org.zeroturnaround:zt-exec 1.12

tools/verdict/com.ge.research.osate.verdict/pom.xml maven

com.amihaiemil.web:docker-java-api provided
com.ge.verdict:verdict-data-model provided
org.apache.commons:commons-lang3 provided
org.glassfish:javax.json provided
org.slf4j:slf4j-simple provided
org.zeroturnaround:zt-exec provided

tools/verdict/com.ge.research.osate.verdict.dsl/pom.xml maven

tools/verdict/com.ge.research.osate.verdict.dsl.ide/pom.xml maven

tools/verdict/com.ge.research.osate.verdict.dsl.ui/pom.xml maven

tools/verdict/com.ge.research.osate.verdict.feature/pom.xml maven

tools/verdict/com.ge.research.osate.verdict.targetplatform/pom.xml maven

tools/verdict/com.ge.research.osate.verdict.updatesite/pom.xml maven

tools/verdict/pom.xml maven

tools/verdict-back-ends/pom.xml maven

tools/verdict-back-ends/verdict-bundle/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-assurance-case/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-attack-defense-collector/pom.xml maven

com.ge.verdict:verdict-data-model
org.logicng:logicng
com.sun.activation:jakarta.activation test
junit:junit test
org.assertj:assertj-core test
org.slf4j:slf4j-simple test

tools/verdict-back-ends/verdict-bundle/verdict-blame-assignment/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-bundle-app/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-crv/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-instrumentor/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-lustre-translator/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-mbas-translator/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-merit-assignment/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-stem-runner/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-synthesis/pom.xml maven

tools/verdict-back-ends/verdict-bundle/verdict-test-instrumentor/pom.xml maven

tools/verdict-back-ends/verdict-bundle/z3-native-libs/pom.xml maven

co.paralleluniverse:capsule

tools/verdict-data-model/pom.xml maven