Formal Methods

Presentation

The department Formal Methods focuses on methodologies, techniques and tools for analyzing, verifying and developing safe and secure software-based systems. The scientific directions of the department are organized as a triptych of three communicating and cooperating streams related to fundamental aspects and applications of formal methods:

  • Logics, semantics and computability
  • Formal system development
  • Security and safetyof software systems

The stream Logics, semantics and computability deals with fundamental aspects related to logic, proof theory, computability and complexity. The stream Formal system development concerns methodologies, techniques and tools for trustworthy software-based system development and the stream Security and safetyof software systems addresses the societal issues of security and trust.

The department consists of five teams sharing common concepts, techniques and tools related to formal methods and focusing on specific topics.

Head

Horatiu Cirstea

Teams

CARBONE
MOCQUA 
MOSEL-VERIDIS
PESTO
TYPES

Keywords

Logics, models for computations, programming models, rewriting, modelling, specification, safety, security, validation, verification.

Logo d'Inria