| dc.contributor.author | Butterfield, Andrew | en |
| dc.date.accessioned | 2024-09-04T12:26:16Z | |
| dc.date.available | 2024-09-04T12:26:16Z | |
| dc.date.created | July | en |
| dc.date.issued | 2016 | en |
| dc.date.submitted | 2016 | en |
| dc.identifier.citation | Andrew Butterfield, IMA-KQP Phase 4: R1: Formal Methods Expertise � Final Report, July, 2016, 1 - 73 | en |
| dc.identifier.other | Y | en |
| dc.description | PUBLISHED | en |
| dc.description.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). | en |
| dc.format.extent | 1 | en |
| dc.format.extent | 73 | en |
| dc.language.iso | en | en |
| dc.rights | Y | en |
| dc.title | IMA-KQP Phase 4: R1: Formal Methods Expertise � Final Report | en |
| dc.type | Report | en |
| dc.type.supercollection | scholarly_publications | en |
| dc.type.supercollection | refereed_publications | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | en |
| dc.identifier.rssinternalid | 269503 | en |
| dc.identifier.doi | https://doi.org/10.25546/109183 | en |
| dc.rights.ecaccessrights | openAccess | |
| dc.status.publicpolicy | N | en |
| dc.identifier.orcid_id | 0000-0002-2337-2101 | en |
| dc.identifier.uri | https://hdl.handle.net/2262/109183 | |
