Module "Verification and Testing of Embedded Systems" (VTS)
Master Recherche Informatique 2009
Head: Sophie Pinchinat.
Teachers: Arnaud Gotlieb, Thierry Jéron, Nathalie Bertrand, and Dietmar Berwanger.
Keywords: operational models, timed systems, automata,
logics, infinite games, component-based systems, interface,
verification, testing, control-flow graph, coverage, oracle.
Pre-requisites: propositional logic, graph and automata
theories and algorithms, basic notions of computational complexity.
For information such as the objectives, the content, the bibliography, see here.
Schedule
The full schedule can be found here.
- Arnaud Gotlieb (Structural Testing): Monday 21/09 (14h-16h), Monday 28/09 (14h-16h), Monday 5/10 (16h15-18h15)
- Nathalie Bertrand (Timed Automata): Monday 12/10 (16h15-18h15), Monday 19/10 (16h15-18h15)
- Dietmar Berwanger (Automata, Logic, and Games): Monday 02/11 (10h15-12h15), Monday 09/11 (10h15-12h15), Monday 16/11 (10h15-12h15)
- Thierry Jéron (Conformance Testing): Monday 23/11 (10h15-12h15), Monday 30/11 (10h15-12h15)
Assessments