News
Software Analysis and Transformation group news
Share this page
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 …
Read more
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), …
Read more
Lecture Edsger Dijkstra at CWI
On Tuesday, October 10, 2000, the famous Edsger Dijkstra gave a lecture at CWI, entitled: 'On avoiding avoidable case analyses'. Turing Award winner Prof. dr. Dijkstra is Professor Emeritus of the University …
Read more
