Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Thu, 08 February 2024 at 10:00 am in Salzburg, Austria
Joint work with: Phillip James, Faron Moller
Abstract: We report and reflect on successful technology transfer from Swansea University to Siemens Mobility over the years 2007–2022. This transfer concerns formal software verification technology for interlocking computers. It spans over Technology Readiness Levels TRL 1-7 and was reported on in two REF Impact Case Studies, in 2014 and 2021.
Slides