Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification

Toni Mancini, Igor Melatti, Enrico Tronci

Model-based approaches to the verification of non-terminating Cyber-Physical Systems (CPSs) usually rely on numerical simulation of the System Under Verification (SUV) model under…