Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)

Adnan Rashid, Umair Siddique, Sofiene Tahar

Due to major breakthroughs in software and engineering technologies, embedded systems are increasingly being utilized in areas ranging from aerospace and next-generation transporta…