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