collaborators

1 paper

cs.SE2021

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements

Matt Luckcuck, Marie Farrell, Oisín Sheridan +1

Verification of complex, safety-critical systems is a significant challenge. Manual testing and simulations are often used, but are only capable of exploring a subset of the system…