Going deeper down the rabbit hole of modern software development at embedded world 2020, Eric Perlade, Technical Account Manager at AdaCore discusses how the formal proofs built into functional safety programming languages like Spark can accelerate your time to compliance for ISO 26262 qualified systems.