Stability: An Abstract Domain for the Trend of Variation of Numerical Variables. - Luca Negrini 001; Sofia Presotto; Pietro Ferrara 001; Enea Zaffanella; Agostino Cortesi (NSAD@SAS, 2024)