Combining Formal Verification and Simulation for CPS Analysis: A Hybrid Approach

Abstract

This research explores the benefits of combining formal verification and simulation techniques for CPS analysis. By leveraging the strengths of both approaches, we aim to improve the accuracy, efficiency, and scalability of CPS verification.