Goodbye to faulty software?

[jeremy.j.epstein at gmail.com (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