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

Adnan Rashid, Umair Siddique, Sofiéne Tahar
January 2020
PDF
Type
Conference paper
Publication
Formal Techniques for Safety-Critical Systems