Research

Our research activity focuses on model checking algorithms and tools for the automatic verification and synthesis of reactive programs via model checking.