a community of software engineering tools
all tutorial automata concurrency design encoders infrastructure languages security synthesis testing verification
New!
Microsoft
Albert-Ludwigs-Universität Freiburg
ETH Zurich - Chair of Software Engineering
KU Leuven
Multicore programming Group, Imperial College London
Otto-von-Guericke-University Magdeburg - Department of Distributed Systems
University of Utah and IMDEA Software Institute