Post #1834042

(The PDL does not primarily focus on formal verification, but the trend lines make it clear that verification is going to play an increasing role in mission-critical systems development over time, so we're roping in Bryan to add a dash of "big things you should keep a finger on" to our mix.)