This whitepaper is taken from Chapter 18 of Scaling Software Agility.

Taken from Chapter 7, The Rational Edge of Scaling Software Agility.

In a recent post, I noted that Craig Langenfeld, my co-contributor on the Agile in High-Assurance and Regulated Environments series, was beginning to describe how tooling can be used to automate (or semi-automate) much of the formal verification...
Continue reading this entry →