Verification Report

Output of Task 10.4-10.7, this deliverable will document the safety requirements defined, the results from formal verification of the requirements against an implementation model, and evaluation and refinement of safety hazards for moving block. This deliverable will also describe how the L3 implementation model can be used in test-based verification as a complementary activity to safety analyses based on formal verification.