News

Funding for software testing project TT-MEDAL

The Dutch Ministry of Economic Affairs has allocated funding to the software test development project TT-MEDAL. This was announced on November 12, 2003. TT-MEDAL is a cooperation of CWI's Specification and Analysis …

CWI builds new supercomputer

CWI has started the construction of a new supercomputer cluster in the beginning of October 2003. The cluster, consisting of 48 dual and quad AMD Opteron systems, is the first quad Opteron …

INRIA and CWI launch VLTS benchmark website

Together with the VASY group of CWI's French sister institute INRIA, Stefan Blom (SEN2) has set up the first VLTS Benchmark Suite. This online database contains several very large transition systems (VLTS), …

Lecture Edsger Dijkstra at CWI

Lecture Edsger Dijkstra On Tuesday, October 10, 2000, the famous Edsger Dijkstra will give a lecture at CWI, entitled: 'On avoiding avoidable case analyses'. Prof.dr. Dijkstra is Professor Emeritus of the University …