Formal methods for bioinformatics

The MoVES project-team has emerged from the need to strenghthen skills and knowledge acquired in the field of formal modeling of informatic processing of systems with timing characteristics. We focus on the study of dynamical and critical complex systems. The prefered application domains for this research now encompass:

• Security of communicating embedded systems
• Complex dynamical living systems