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