Search results

Transfer soundness and sufficiency theorems to system verifiers

Status: Open.

#21 In ku-sldg/stairCASE;

· palexand opened on Jun 15, 2018

Define and verify soundness and sufficiency of UxAS measurement & appraisal

Status: Open.

#20 In ku-sldg/stairCASE;

· palexand opened on Jun 15, 2018

Implement seL4 instance for UxAS mission board

Status: Open.

#19 In ku-sldg/stairCASE;

· palexand opened on Jun 15, 2018

Implement seL4 instance for UxAS ground station

Status: Open.

#18 In ku-sldg/stairCASE;

· palexand opened on Jun 15, 2018

Define measurement for UxAS ground station

Status: Open.

#17 In ku-sldg/stairCASE;

· palexand opened on Jun 15, 2018

Implement APDT for UxAS ground station

Status: Open.

#16 In ku-sldg/stairCASE;

· palexand opened on Jun 15, 2018

Define APDT for UxAS ground station appraisal

Status: Open.

#15 In ku-sldg/stairCASE;

· palexand opened on Jun 15, 2018

Implement APDT for UxAS ground station appraisal

Status: Open.

#14 In ku-sldg/stairCASE;

· palexand opened on Jun 15, 2018

Implement communication between UxAS measurement and appraiser

Status: Open.

#13 In ku-sldg/stairCASE;

· palexand opened on Jun 15, 2018

Analyze UxAS sources

Status: Open.

#12 In ku-sldg/stairCASE;

· palexand opened on Jun 15, 2018

Galois Connection formalization

Status: Open.

#10 In ku-sldg/stairCASE;

· palexand opened on Feb 28, 2018

Look at CakeML as implementation target

Status: Open.

#9 In ku-sldg/stairCASE;

· palexand opened on Feb 28, 2018