Agenda

Given the complexity of our mission and the multiple communities involved we decided to structure our work initially as a series of experiments that both evaluate certification-related problems and how specific technologies help with them. 

In our first experiment (called Experiment Zero) the steering committee evaluated how a certification argument approach (Symbolic Assurance Refinement) can be used to evaluate potential explanations to the Taiwan CI202 flight triple-computer failure incident (CI202 Incident Report). You can find the report of this experiment in the link below.

We are in the process of organizing our second workshop where a more explicit agenda will be developed. We will update this site at the proper time.