QuasyLab is a research group at the University of Camerino, coordinated by Michele Loreti. We develop languages, logics and tools for specifying and analysing large-scale concurrent and distributed systems, which may also be cyber-physical, and we apply them to real-life applications.
Read more about our research, meet the people or browse our publications.