02/01/2006: "Interesting piece of work"

I had a very interested meeting last week with a formal methods person from Microsoft Research Andy G. . It is rather rare (from where I stand) to see real, tangible benefits of formal methods techniques that can be used in other than critical systems and can be applied fast and with great results. We did (myself and colleagues) see tangible benefits of appyling his techniques to verify Soap message flows in his talk here at NCL. We are thinking of experimenting with his work within GOLD to verify certain protocols. Anyway the relevant paper of interest can be found here