a community of software engineering tools
all tutorial automata concurrency design encoders infrastructure languages security synthesis testing verification language
New!
Microsoft
Albert-Ludwigs-Universität Freiburg
Carnegie Mellon University, Qatar Campus
ETH Zurich - Chair of Software Engineering
KU Leuven
Multicore programming Group, Imperial College London
NOVA-LINCS@FCT/UNL
Otto-von-Guericke-University Magdeburg - Department of Distributed Systems