[SC-L] Goodbye to faulty software?

[Jeremy Epstein]

Saw this article:
http://cordis.europa.eu/ictresults/popup.cfm?section=news&tpl=article&ID=89864&AutoPrint=True,
and was wondering if anyone on this list knows anything about the
project
or Dr Bengt Nordström at Chalmers University in Göteborg Sweden.  Sounds to
me like they're reinventing all the old formal methods / provable code stuff
- but perhaps I'm wrong.  Thoughts?

--Jeremy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://krvw.com/pipermail/sc-l/attachments/20080719/01f78953/attachment.html