a community of software engineering tools
all tutorial automata concurrency design encoders infrastructure languages security synthesis testing verification language
Albert-Ludwigs-Universität Freiburg
Carnegie Mellon University, Qatar Campus
ETH Zurich - Chair of Software Engineering
KU Leuven
Microsoft Research
Multicore programming Group, Imperial College London
University of Utah and IMDEA Software Institute