Re-evaluation of Logical Specification in Behavioural Verification. - Radoslaw Klimek; Jakub Semczyszyn (CoRR, 2025)