Ecosyste.ms: Repos

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

Package Usage: maven: edu.uiowa.cs.clc:kind2-java-api

An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.
12 versions
Latest release: 11 months ago

View more package details: https://packages.ecosyste.ms/registries/repo1.maven.org/packages/edu.uiowa.cs.clc:kind2-java-api

View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/kind2-mc%2Fkind2-java-api

Dependent Repos 1

kind2-mc/VERDICT Fork of ge-high-assurance/VERDICT
  • 0.2.2 tools/pom.xml
  • tools/verdict-back-ends/verdict-bundle/verdict-lustre-translator/pom.xml

Size: 22.6 MB - Last synced: about 2 months ago - Pushed: about 1 year ago

abdoo8080/kind2-translator
  • 0.2.2 build.gradle

Size: 59.6 KB - Last synced: about 1 year ago - Pushed: about 3 years ago

ge-high-assurance/OYSTER
PrOof Engineering for SYSTEm ARchitecture Design Model (OYSTER)
  • 0.3.3 tools/plugin/pom.xml
  • tools/plugin/verdict-back-ends/verdict-bundle/verdict-lustre-translator/pom.xml

Size: 7.96 MB - Last synced: 29 days ago - Pushed: 8 months ago

ge-high-assurance/VERDICT
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
  • 0.3.6 tools/pom.xml
  • tools/verdict-back-ends/verdict-bundle/verdict-lustre-translator/pom.xml

Size: 23.4 MB - Last synced: 30 days ago - Pushed: about 1 month ago