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