Hangout for experimental confirmation and demonstration of software, computing, and networking. The exercises don't always work out. The professor is a bumbler and the laboratory assistant is a skanky dufus.
ACM News Service: Added Reliability to Safety-Critical Software. This blurb reports on an IST Results report of 2005-02-22. The funded research has led to the ATASDAS toolkit, which is also available in a commercialized form.
The research project ended in May 2004, and the project coordinator is now involved in the commercialization as imPROVE-C, a product that may be mandated in a variety of situations.
I find this slant puzzling. The ATASDAS (Automated Target Analysis to SPeed up the Dependability AnalysiS) Consortium page provides no public solution, and the only link for useful content is to a proprietary validation & verification vendor. So, as valuable as this approach might be, it is difficult to assess.
