IMA-KQP Phase 4: R1: Formal Methods Expertise � Final Report

Abstract

This document describes results of an exploration of ways to use formal methods and tech- niques to assist with the qualification of Time-Space Partitioning (TSP) kernels. It is being written as part of ESTEC Contract No. 4000112208/14/NL/GLC for activity “Formal Meth- ods Expert to IMA-SP Kernel Qualification — Preparation” (FMEIMAKQP). This activity is being run in support of ESA RFQ 3-14102/14/NL/GLC/al “IMA-SP Kernel Qualification — Preparation” (IMAKQP).