Formal Methods

Presentation

The department Formal Methods loosely shares common concepts, techniques and tools. It develops the research topics like contribution to logics and proof theory, techniques for the verification of distributed and reactive systems, virology and safety.

Head

Horatiu Cirstea

Teams

DEDALE
MOCQUA 
MOSEL-VERIDIS
PESTO
TYPES

Keywords

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

Access to the department website

Logo du CNRS

Logo d'Inria

Logo Université de Lorraine