EN FR
EN FR


up Home | Next next


2012 Project-Team Activity Report
VERTECS
Verification models and techniques applied to testing and control of reactive systems
Research centre: Rennes - Bretagne-Atlantique
Field: Algorithmics, Programming, Software and Architecture

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