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
Teams
DEDALE
MOCQUA
MOSEL-VERIDIS
PESTO
TYPES
Keywords
Logics, models for computations, programming models, rewriting, modelling, specification, safety, security, validation, verification.