Verification, Model Checking, and Abstract InterpretationRayna Dimitrova, Ori Lahav, Sebastian Wolff · First published 2024Open the Tome
Software VerificationRoderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina · First published 2022Open the Tome
