Building Safety by Design: CHERI in Critical Systems Development

Paul Butcher, the Secure Avioincs by Design Project Manager for AdaCore, discusses the usage of CHERI in safety-critical software.