CIn-TRUST is a research group that investigates and develops tools, techniques and processes for improving computer system trustworthiness.


The focus is on development processes that are systematic, supported by methods and tools, and applicable to real systems, for the production of correct, robust, extensible software within a predictable time and cost bound.

Research areas

We have particular interest in the following research areas:

  • Formal notations;
  • Model checking;
  • Theorem proving;
  • Component-based development;
  • Model-based software engineering;
  • Software testing;
  • Safety assessment;
  • Software development processes;
  • Systems of systems.

Application domains

Our researches concern mainly the following application domains:

  • Aerospace;
  • Automotive;
  • Blockchain;
  • Mobile devices;
  • Robotics;
  • Smart contracts.


We have been mainly working in the following directions:

  • Systematic and rigorous development of imperative, object-oriented, distributed, and real-time programs;
  • Model-based testing, including formal model generation from natural-language requirements, and automatic test case generation and selection from formal models;
  • Formalisation of established programming practices, like refactoring, design and architectural patterns;
  • Model and refinement checking, including both qualitative and quantitative aspects;
  • Integration of languages, methods, and tools;
  • Development of new methods and tools for program and model design and transformation;
  • Exploration of complex industrial applications.

We are part of Centro de Informática (CIn) at Universidade Federal de Pernambuco (UFPE), in Recife (PE) – Brazil.