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