Project Team Vertecs

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


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