Tonight my colleague Byron Cook from MSR Cambridge will be speaking at the F#unctional Londoners meetup group Byron Cook: Proving program termination with F# Wednesday, November 16, 2011, 6:30 PM The Skills Matter eXchange 116-120 Goswell Road,  London (map) In recent years we have seen great progress made in the area of  automatic source-level static analysis tools. However, most of today’s program verification tools are limited to properties that guarantee the absence of bad events (safety pr[...]