They're poking fun at the formal methods community, which spends a lot of time doing research in this direction. Percolation of these techniques back to industr

They're poking fun at the formal methods community, which spends a lot of time doing research in this direction. Percolation of these techniques back to industry has been... less than stellar.