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

Publication
Formal Techniques for Safety-Critical Systems