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

CARTE 
CASSIS
DEDALE
MOSEL-VERIDIS
PAREO
TYPES

Keywords

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

Access to the department website

Now

Logo du CNRS
Logo Inria
Logo Université de Lorraine