EN FR
EN FR


2011 Team Activity Report
VERTECS
Verification models and techniques applied to testing and control of reactive systems
Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real Time Systems
Keywords: Formal Methods, Verification, Model-Checking, Program Testing, Control, Embedded Systems