Search results

Soteria++ fails when 2 controllers present in a file

bugSomething isn't workingSomething isn't working

Status: Open.

#255 In ge-high-assurance/VERDICT;

· AbhaMoitra opened on May 16, 2022

Cost Model interface automatically changes Component/Connection in certain situations

Status: Open.

#230 In ge-high-assurance/VERDICT;

· AbhaMoitra opened on Apr 11, 2022

To do list for William

enhancementNew feature or requestNew feature or request

Status: Open.

#102 In ge-high-assurance/VERDICT;

· baoluomeng opened on Jan 5, 2021

Bus support in VERDICT

Status: Open.

#92 In ge-high-assurance/VERDICT;

· baoluomeng opened on Oct 28, 2020

Experiment with new model in VERDICT

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#78 In ge-high-assurance/VERDICT;

· MichaelDurlingGeneralElectric opened on Sep 23, 2020

Move some properties from component to connection

Status: Open.

#72 In ge-high-assurance/VERDICT;

· AbhaMoitra opened on Sep 1, 2020

distinguish when CAPEC-137 is mitigated by a defense property on a connection from defense property on a component

bugSomething isn't workingSomething isn't working

Status: Open.

#66 In ge-high-assurance/VERDICT;

· kityansiu opened on Aug 11, 2020

Implemented defenses should show "and" instead of "or"

bugSomething isn't workingSomething isn't working

Status: Open.

#65 In ge-high-assurance/VERDICT;

· kityansiu opened on Aug 11, 2020