A Concept for Set‐based Design of Verification Strategies. Issue 1 (11th April 2023)