Tahar, Sofiène

Formal verification of cyber-physical systems

We are interested in the development of techniques and tools for the formal verification of cyber-physical systems. In particular, we aim to develop advanced methods for the modeling, analysis, and verification of hardware, embedded software, and physical components (optical, analog, etc.) of safety-critical systems.