"Polychrony"@fr . "Programmes synchrones"@fr . "aa90a160edb2e7e2e6c7c03cfe7f2397" . "Valeur-graphiques"@fr . "Dependency graphs"@en . "SMT Solver"@en . "Certified com-piler"@en . "Program Verification"@en . . "Translation Validation"@en . "Graph rewriting"@en . "Statis-tical Model Checking"@en . . "Deadlock detection"@en . . "Validation de la traduction"@fr . "Certified Compiler"@en . "Petri Nets"@en . "V\u00E9rification formelle"@fr . "Temporal properties"@en . "Graph Transformation"@en . "Statistical model checking"@en . "Safety-critical systems"@en . "Synchronous data-flow languages"@en . "Multi-clocked Synchronous Programs"@en . "SystemC"@en . "Validated Compiler"@en . "Value-Graphs"@en . . "Syst\u00E8mes critiques"@fr . "D\u00E9tection des blocages"@fr . "Graphiques de d\u00E9pendance"@fr . "Runtime Verification"@en . "Synchronous Programs"@en . . "Mod\u00E8les polychrones"@fr . "Ngo" . "van Chan Ngo" . "Value-Graph"@en . "Graphique r\u00E9\u00E9criture"@fr . "Compilateur valid\u00E9"@fr . "Quatitative verification"@en . "Polychronous Models"@en . "Dependability Analysis"@en . "Code Generator"@en . . . . . "Formal Verification"@en . . "Syst\u00E8mes embarqu\u00E9s"@fr . "Compilation"@fr . "Probabilistic Assertion"@en . "van Chan" . <180731211> . "SMT solving"@fr . "Embedded Systems"@en .