In this episode of New Era of Engineering, we explore how Capgemini is redefining software assurance through the integration of Alloy—a formal modeling language—and Crucible, a powerful suite of modeling tools. Host Brian Doherty is joined by Janet Barnes, Software Engineer and Formal Methods Expert from Capgemini Engineering,  to discuss how this bold approach is enabling automation, improving test coverage, and uncovering bugs earlier in the development lifecycle. Discover how the right mix of expertise, tooling, and vision is helping teams scale formal methods and unlock real business value.

Guest :  Janet Barnes, Software Engineer and Formal Methods Expert from Capgemini Engineering

Host: Brian Doherty ​

Production & Realization: Brockhill Creative Ltd.