ge-high-assurance/VERDICT

To do list for William

Opened this issue · 0 comments

baoluomeng commented

Below is a list of tasks prioritized from high to low

  1. Update VERDICT wiki with cost modeling for synthesis
  2. Create a new delivery drone model with a realistic cost model that runs with synthesis
  3. Test the robustness of the cost model GUI for synthesis
  4. Work on the synthesis paper with Paul
  5. On a separate branch, work on the unique id for connections and components, and address the issue with a threat instance can be mitigated by a defense on either a connection or a component.