Home
2011
Team Activity Report
VERTECS
Verification models and techniques applied to testing and control of reactive systems
Research centre: Rennes - Bretagne-Atlantique
Keywords: Formal Methods, Verification, Model-Checking, Program Testing, Control, Embedded Systems