`
a community of software engineering tools
all tutorial automata concurrency design encoders infrastructure languages security synthesis testing verification language
Microsoft
Multicore programming Group, Imperial College London
Otto-von-Guericke-University Magdeburg - Department of Distributed Systems