On the Relationship between Code Verifiability and Understandability. - Kobi Feldman; Martin Kellogg; Oscar Chaparro (ESEC/SIGSOFT FSE, 2023)