Skip to content
@loonwerks

loonwerks

Popular repositories Loading

  1. jkind jkind Public

    JKind - An infinite-state model checker for safety properties in Lustre

    Java 55 34

  2. formal-methods-workbench formal-methods-workbench Public

    C 23 7

  3. AGREE AGREE Public

    Assume-Guarantee REasoning Environment

    Java 20 5

  4. CASE CASE Public

    DARPA CASE program

    Assembly 16 7

  5. AMASE AMASE Public

    This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).

    Java 7 4

  6. jkind-xtext jkind-xtext Public

    Lustre Plug-in for Eclipse with JKind Analysis Support

    Java 5 2

Repositories

Showing 10 of 75 repositories
  • INSPECTA-models Public
    loonwerks/INSPECTA-models’s past year of commit activity
    Scala 1 BSD-3-Clause 1 0 1 Updated Mar 16, 2026
  • MATRICS Public
    loonwerks/MATRICS’s past year of commit activity
    Java 0 BSD-3-Clause 0 0 0 Updated Mar 16, 2026
  • INSPECTA-Open-Platform Public

    INSPECTA TA2 Open Platform

    loonwerks/INSPECTA-Open-Platform’s past year of commit activity
    Rust 0 0 0 0 Updated Mar 11, 2026
  • INSPECTA-demo Public
    loonwerks/INSPECTA-demo’s past year of commit activity
    0 0 0 0 Updated Mar 2, 2026
  • INSPECTA-Assurance-Dashboard Public

    Assurance Dashboard

    loonwerks/INSPECTA-Assurance-Dashboard’s past year of commit activity
    Python 0 0 0 0 Updated Mar 2, 2026
  • INSPECTA-Verus-CI-Action-Container Public

    Container for running INSPECTA-Verus-CI-Action

    loonwerks/INSPECTA-Verus-CI-Action-Container’s past year of commit activity
    Shell 0 BSD-3-Clause 1 0 0 Updated Feb 24, 2026
  • INSPECTA-Codegen-CI-Action Public

    INSPECTA CI action to generate code from a SySML (v2) model

    loonwerks/INSPECTA-Codegen-CI-Action’s past year of commit activity
    Shell 0 BSD-3-Clause 0 0 0 Updated Feb 20, 2026
  • INSPECTA-Logika-CI-Action Public

    INSPECTA CI action to conduct Logika analysis on a SySML (v2) model

    loonwerks/INSPECTA-Logika-CI-Action’s past year of commit activity
    Shell 0 BSD-3-Clause 1 0 1 Updated Feb 19, 2026
  • INSPECTA-CI-Action-Container Public

    Docker container with INSPECTA tools for application of CI actions

    loonwerks/INSPECTA-CI-Action-Container’s past year of commit activity
    Makefile 0 BSD-3-Clause 0 0 0 Updated Feb 19, 2026
  • INSPECTA-Sireum-minimal-Container Public

    A Docker container image containing a minimal install of Sireum for running HAMR Tipe and Codegen

    loonwerks/INSPECTA-Sireum-minimal-Container’s past year of commit activity
    Shell 0 BSD-3-Clause 0 0 0 Updated Feb 18, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…