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