Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems

Cyber-Physical Systems (CPSs), i.e. , systems comprising both software and physical components, arise in many industry-relevant application domains and often mission- or safety-critical. System-Level Verification (SLV) of CPSs aims at certifying that given ( e.g. , safety or liveness) specifications...

Ausführliche Beschreibung