John Regehr’s question below gets to one of the basic problems I see in the field of “formal methods” – the general failure of researchers in the field to look at experimental data and the operation of actual systems. The
John Regehr’s question below gets to one of the basic problems I see in the field of “formal methods” – the general failure of researchers in the field to look at experimental data and the operation of actual systems. The