Depend is a research lab that belongs to the Computer Science department of Aristotle University of Thessaloniki.

Their recent research activity focuses on model-based design in the broader context of formal verification.