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