We are a research group is in the Department of Computer Science in the Faculty of Sciences and Medicine of the University of Fribourg. We work on methods and algorithms underlying the verification of dependable systems. These methods and algorithms span from automata theory and logic to concrete projects on verifying properties of a system.

Currently, we are working on the verfication of microcontroller assembly code, game and automata theoretic approaches to synthesis (history determinism, token games), and on behaviour-based reputations systems. In the context of verifying microcontroller code, we have close contact with the research group of Dominique Devriese at the KU Leuven.

Our overarching objective is to enhance the reliability of dependable systems, ultimately contributing to a safer and more secure technological landscape.