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