The main focus of the research of the group is on specification and verification of concurrent, distributed, and real-time systems. In particular, we develop theories, algorithms, and tools for analysis of programs with large state spaces and model checking of infinite-state systems.
Project leader: Parosh Abdulla
Current members: Mohamed Faouzi Atig, Jonathan Cederberg, Frédéric Haziza, Lukas Holik, Bengt Jonsson, Lisa Kaati, Carl Leonardsson, Philipp Rümmer, Othmane Rezine, Joseph Scott, Jari Stenman, Yunyun Zhu.
Previous members: Noomene Ben Henda, Ahmed Rezine, Mayank Saksena, Sven Sandberg, Johann Deneux, Marcus Nilsson, Pritha Mahata, Julien d'Orso, Aletta Nylen, Niklas Een, Mats Kindahl, Purushothaman Iyer, Gerardo Schneider, Yih-Kuen Tsay