Towards reliable computer systems

Nowadays, society is highly dependent on computer systems and there is no doubt that in the near future complex, multimedia, computer based systems will increasingly permeate our society and our activities, including the most critical ones. There is therefore a strongly felt need for higher quality computer systems, both from the reliability and from the performance perspectives.