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

Type
Publication
Formal Techniques for Safety-Critical Systems