Challenges of Software VerificationVincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro · First published 2023Open the Tome