Monthly Archives: January 2019

Video from BrisTech 2018 – Building Software like it Matters…

Here’s the video from a talk that Neil White and I gave at BrisTech 2018 just before Christmas. BrisTech has grown into a great event in the last few years, with a big audience, a great venue, and a lot of competition for speaking slots.

Neil is Director of the Intelligent Systems Expertise Centre at Altran UK in Bath – the business that we used to call “Praxis” back in the day. He opens the talk by setting the scene and what makes critical software development so different, before I dive into the technical stuff regarding SPARK, static verification, and so on.