News
Software Analysis and Transformation group news
Share this page
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
