Search results

Test and Verify Satellite Approach Maneuver in CSAF

Status: Open.

#139 In GaloisInc/csaf;

· cslockett opened on Oct 19, 2021

Integrate Small Sat Satellite Models into CSAF

Status: Open.

#138 In GaloisInc/csaf;

· cslockett opened on Oct 19, 2021

Implement performant version of Reachability Capability in RUST

Status: Open.

#137 In GaloisInc/csaf;

· cslockett opened on Oct 19, 2021

Calspan LearJet Model Refinement

Status: Open.

#136 In GaloisInc/csaf;

· cslockett opened on Oct 19, 2021

CSAF User's Video

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#135 In GaloisInc/csaf;

· cslockett opened on Oct 19, 2021

Investigate Use/Application of SCENIC into CSAF

enhancementNew feature or requestNew feature or request

Status: Open.

#134 In GaloisInc/csaf;

· cslockett opened on Oct 19, 2021

Architectural decisions with new CSAF

enhancementNew feature or requestNew feature or request

Status: Open.

#130 In GaloisInc/csaf;

· podhrmic opened on Oct 6, 2021

CSAF methodology for state space coverage testing

brainstorm

Status: Open.

#128 In GaloisInc/csaf;

· cslockett opened on Oct 1, 2021

Docker build / push in CI

stretchStretch goal, low priorityStretch goal, low priority

Status: Open.

#104 In GaloisInc/csaf;

· podhrmic opened on Jul 20, 2021

Separate which tests are run on push, and which are on PR?

stretchStretch goal, low priorityStretch goal, low priority

Status: Open.

#103 In GaloisInc/csaf;

· podhrmic opened on Jul 20, 2021

Integrate FITRE (Purdue)

subs-integration

Status: Open.

#80 In GaloisInc/csaf;

· podhrmic opened on Jul 16, 2021

Integrate PROPEL (RICE)

subs-integration

Status: Open.

#78 In GaloisInc/csaf;

· podhrmic opened on Jul 16, 2021