"Mobile Ad hoc Networks"@en . "Avionics software"@en . "Synchronous programming languages"@en . . "Physical Time"@en . "Type System"@en . . "Compilers"@en . . "Software verification"@en . "Mathematical modelling language"@en . "Hybrid systems modelers"@en . "Numerical solver"@en . "AODV"@en . "Networks"@en . "Timed automata" . "Quasi-Synchronous Abstraction"@en . "Wireless Mesh Networks"@en . "Hybrid automata"@en . "Network protocols"@en . . "Symbolic Simulation"@en . "Invariant proof"@en . "LTTA"@en . "Compilation"@en . "Block Diagrams"@en . "Multicores and many-cores"@en . . "Bourke" . "Hybrid systems"@en . "Timed Automata"@en . "Compositional Verification"@en . "Protocol Verification"@en . "Verified Compilation"@en . "Constructive semantics"@en . "Kahn process networks"@en . "Structural Analysis"@en . "ITEA3"@en . "Modeling Languages"@en . "ASSUME project"@en . "Timing diagrams" . "Quasi-synchrony"@en . "CCS Concepts \u2022 Software and its engineering \u2192 Formal language definitions"@en . "Compositional Invariant Proofs"@en . "Programming"@en . "Loosely Time-Triggered Architectures"@en . "Synchronous Languages"@en . "HybridLang"@en . "Real-Time Embedded Systems"@en . . "Non-standard semantics"@en . "Compilation of hybrid systems"@en . . "Type systems"@en . . "Interactive theorem proving"@en . "Verification"@en . "Timed trace inclusion" . "Quasi-periodic Architectures"@en . "\u2022 Computer systems organization \u2192 Embedded software Additional Key Words and Phrases stream languages"@en . "627431a6c6d487d4fb57abf07f4990a8" . "Esterel"@en . "Synchronous"@en . "Interactive Theorem Proving Coq"@en . "Langages synchrones Lustre"@en . "Non-standard analysis"@en . "Automatic code generation"@en . "Synchronous Programming"@en . "Timothy Bourke" . "Semantics"@en . . "OCaml"@en . "DAE"@en . . "MDAE"@en . "Real-Time Systems"@en . . "Index TermsProgramming"@en . . . "Numeric simulation"@en . "Assistants de Preuve Coq"@en . "Simulation"@en . "Index"@en . . "Reactive Systems"@en . "\u2022 Computer systems organization \u2192 Embedded software stream languages"@en . "Formal software verification"@en . "Lustre"@en . "Synchronous Languages Lustre"@en . "Invariance proofs"@en . "Timothy" . "Nonstandard analysis"@en . "Back-Pressure LTTA"@en . <0000-0003-0601-4182> . "Numerical Simulation"@en . <202418812> . "Time-Based LTTA"@en . "Model Checking"@en . "Formal Specifications"@en . "Process Algebra"@en . "Uppaal" . "Interactive Theorem Proving Isabelle/HOL"@en . "Isabelle/HOL"@en . "StructAnalysis"@en .