Synchronous data-flow languages
Translation Validation
Certified Compiler
SystemC
Polychrony
Formal Verification
Temporal properties
Deadlock detection
Vérification formelle
Polychronous Models
Program Verification
Systèmes embarqués
Validated Compiler
Code Generator
Petri Nets
Compilateur validé
SMT Solver
Probabilistic Assertion
Embedded Systems
Value-Graph
Valeur-graphiques
Compilation
Détection des blocages
Certified com-piler
Quatitative verification
Runtime Verification
Validation de la traduction
Dependency graphs
Graphique réécriture
Safety-critical systems
Programmes synchrones
Graph Transformation
Graph rewriting
Synchronous Programs
SMT solving
Value-Graphs
Modèles polychrones
Statis-tical Model Checking
Graphiques de dépendance
Statistical model checking
Systèmes critiques
Dependability Analysis
Multi-clocked Synchronous Programs